Control.Arrow.BiKleisli
data BiKleisli w m a b