Identity package:classy-prelude

Identity functor and monad. (a non-strict monad)