確かに。ScalaとかHaskellには似たような型の機能は無いんだろうか？