Added rules to the Functor, Apply, Applicative, Bind, and Monad classes, partially addressing #852
Added rules to the Functor, Apply, Applicative, Bind, and Monad classes, partially addressing #852

michaelficarra/purescript,michaelficarra/purescript