Identity package:basement

Identity re-export, with a compat wrapper for older version of base that do not have Data.Functor.Identity
Identity functor and monad. (a non-strict monad)
Identity element over multiplication