上記のとおりです。 『すごいH』本を読みながら、リストだとかMaybeだとかEitherだとかがFunctor、Applicativeなどを満たしていることを各法則を試すことによって確認しています。 具体的な課題はこんな感じ 課題 次の型がそれぞれ下に列挙された型クラスの…