case class-ify Kleisli