Control.Arrow.CoKleisli
data CoKleisli w a b