Control.Monad.Skeleton.Internal

data Cat k a b

transCat

(|>)

viewL

transKleisli