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
I just realized that :=> isn't the canonical exponential type, because it induces a functional dependency. There could be a type family, something like ==>, which is a constraint but doesn't have the same dependency.
It seems to be. There is an exponential, which is
(:=>)
, andapply
anduncurry
combinators:But there should also be a
curry
combinator:And it seems like that can't be implemented without unsafe operations.
The text was updated successfully, but these errors were encountered: