`%>>%`
`%>-%`
fmap()
bind()
join()
The rules that implementations of the generics must follow.
functor-laws
monad-laws
Classes with implementations for the generics.
list
maybe