Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
haskell_type_system [2015/04/21 16:36] nikolaj |
haskell_type_system [2015/04/21 16:37] nikolaj |
||
---|---|---|---|
Line 159: | Line 159: | ||
For all types $a$, the constructor $(\to)\,a$ is the object map of $\mathrm{Hom}_\mathrm{Hask}(a,-)$. | For all types $a$, the constructor $(\to)\,a$ is the object map of $\mathrm{Hom}_\mathrm{Hask}(a,-)$. | ||
- | In fact, all of the functors mentioned can be made into monads, and they are known as list, maybe and reader monad. | + | In fact, all of the functors mentioned can be made into [[monad_._haskell|monads]], and they are known as list, maybe and reader monad. |
=== Reference === | === Reference === |