関数fは、値を写すもの
#関数型プログラミング
from
関数型プログラミングと型システムのメンタルモデル
圏論
関手(functor)
どんな集合からどんな集合に写されるか。その集合を型で表現する