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
Try making the associated Ok constraint depend on the object/type parameter as well as the category, and eliminate classes introduced to accommodate the current single-parameter dependency. See Make the Obj' type family depend on object as well as category.
The text was updated successfully, but these errors were encountered:
Try making the associated
Ok
constraint depend on the object/type parameter as well as the category, and eliminate classes introduced to accommodate the current single-parameter dependency. See Make theObj'
type family depend on object as well as category.The text was updated successfully, but these errors were encountered: