川上は以前圏論勉強してるとか言ってたな
エンジニアだからHaskellもかな