These are chat archives for got-lambda/expression
The online hangout for Göteborg Functional Programming Group and everybody interested.
forall t a b. (forall c. t c -> c) -> t a -> t b -> Tuple a b. So as you said, there's a constraint on the argument. We can definitely prove
t c -> cfor some
tat least. :-)