すごいH本読書会 in 大阪 #6 課題

gistfile1.md

出展は@cojnaさんのこちら

Functorの型クラスにしてください

data Akari a = Waai a (Akari a) | Daisuki
data H oo gle = H oo oo oo oo oo gle
data Ha y oo = Ha y oo oo oo oo oo
data O b = OOOO|OOOOOO|O|OO
data Hom r a = Hom (r -> a)
data State s a = State (s -> (a, s))
data Just a = Nothing | Maybe (Maybe a)

ヒント

• 作るのは map 関数みたいなもの
• とりあえず型を合わせる
• fmap id が id になるように (Functor 則の１つ)