liftA2 package:deriving-compat