世界論理の日

ルービックキューブをポチっとすると、『世界論理の日』と検索される

あーもうほんとに覚えてないなあと思いつつ、いつも忘れずにいるコトもある

言葉の定義はどうでもいいとして

(>>=)  :: m a -> (a -> m b) -> m b
return :: a -> m a

これに恒等関数の

id :: a -> a

 

World is mine Q.E.D.