You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The consumer can be _ -> ... -> T -> ... -> _, i.e., there is some nested left context t1 -> (t2 -> ...) that contains a consumer T -> .... But we would get this by currying automatically (hoogle already does this)?
Then one could think of (T, _) -> _, in general, the type T we want is some deep argument of nested type constructors. Generalized, it's about covariant vs. contravariant argument positions ... that's the distinction we are already making for -> ?
proposal, see https://mail.haskell.org/pipermail/haskell-cafe/2018-November/130191.html
The text was updated successfully, but these errors were encountered: