Open Risto-Stevcev opened 7 years ago
Maybe it could be part of #213 , but it would be nice if there were a way to find all typeclasses that match some superclass constraint
Maybe some syntax like:
Functor f => a
would return something like:
class Functor f => Applicative f ...
It would be useful for finding new abstractions
Maybe it could be part of #213 , but it would be nice if there were a way to find all typeclasses that match some superclass constraint
Maybe some syntax like:
Functor f => awould return something like:
It would be useful for finding new abstractions