Function typeはサブタイピングがあるからさらにややこしそう・・・