monad-package	monad-package
%>-%	monad
%>>%	monad
bind	monad
fmap	monad
functor-laws	functor-laws
join	monad
List	list
Maybe	maybe
monad	monad
monad-laws	monad-laws
