MyList と Haskell 内蔵の List が Functor Law を満たすことを確認する

Menu Menu

関数 id と、関数合成 . について、MyList と List が Functor Law を満たしていることを示す例を実行してみよ。

なぜ、それが成り立つのかを MyList と内蔵の List に付いて説明せよ。