@ktrans
-
Add support for forwarding abstract methods not wrapped by the algebra's kind
-
Detect when abstract return types are parameterised by the algebra's kind parameter and abort with a nice message.
@ktrans
Add support for forwarding abstract methods not wrapped by the algebra's kind
Detect when abstract return types are parameterised by the algebra's kind parameter and abort with a nice message.