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
In case some new requirements over terminal/non-terminal types arise, it would be sufficient to add them at the level of the respective classes. A notable example is the Show instance requirement, which is right now added (conditionally, using the preprocessor) for each function separately...
They would serve to annotate type parameters of the individual functions.
The text was updated successfully, but these errors were encountered:
The advantages would be:
Show
instance requirement, which is right now added (conditionally, using the preprocessor) for each function separately...The text was updated successfully, but these errors were encountered: