case class-ify Cokleisli.