{ functor = ./functor, monadic = ./monadic }