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