Шаблон для реализации экземпляров Functor, Applicative, Monad, Traversable, Foldable, с тестами корректности.
Все функции, которые необходимо реализовать, находятся в library/Lib.hs
.
Определения типов менять не нужно. Только реализовать функции классов, которые здесь вместо реализации имеют undefined
.
Для запуска тестов корректности: cabal v2-test
или stack test
Рассчитано на GHC 8.10.4. При использовании cabal учитывайте это.