圏論好きはHaskellよりCPLで幸せになれる