>749 >758

そっか、HaskellのMonadと圏論のMonadは別物だったのか…ちょっと驚き