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
