For some reason `ghc` isn't noticing the possibility that arguments to
`OutputsOf` are meant to be of kind (* -> *).
There is probably some simpler way of getting it to notice the possibility,
but if you add something like
{-#Language KindSignatures#-}
then you can write
type family OutputsOf (f :: * -> *) :: *
and similarly for `InputsOf`. Then it compiles
http://lpaste.net/5936788157725933568
--
You received this message because you are subscribed to the Google Groups
"Haskell Pipes" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
