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
Having to have both Carrier and Member constraints is an unnecessary wrinkle. @lexi-lambda pointed out some possibilities for unifying them—or at least, providing a unified interface—involving using a type family for a Carrier’s signature type instead of a functional dependency.
The text was updated successfully, but these errors were encountered:
Having to have both
Carrier
andMember
constraints is an unnecessary wrinkle. @lexi-lambda pointed out some possibilities for unifying them—or at least, providing a unified interface—involving using a type family for aCarrier
’s signature type instead of a functional dependency.The text was updated successfully, but these errors were encountered: