data Kleisli2 m1 m2 a b

data Kleisli3 m1 m2 m3 a b

data Kleisli4 m1 m2 m3 m4 a b

data Kleisli5 m1 m2 m3 m4 m5 a b