Monady są teoretycznie teoretycznie podzbiorem funktorów, a konkretnie funktorów aplikacyjnych, mimo że nie są wskazane w systemie typu Haskella. Wiedząc, że, biorąc pod uwagę monady i opierając się n
Patrząc na Dokumenty na Control.Applicative, to zauważyć, że posiada deklaracji przykład w przypadku niektórych monadach (np IO, Maybe a zwłaszcza ST), ale nie występują przypadki, w monadach MTL jak
Po przeczytaniu (i przejrzeniu niektórych fragmentów) artykułu Wadlera na temat monad, zdecydowałem się dokładniej przeanalizować papier, definiując funktora i instancje aplikacyjne dla każdej opisywa