It would be nice to assert equality of type wildcards by using the same name:
test :: forall a. StateT _s (ReaderT _r) a -> StateT _s (ReaderT _r) a
The format for a type wildcard would be either a naked underscore _ (unnamed) or with a label _a (named).
It would be nice to assert equality of type wildcards by using the same name:
The format for a type wildcard would be either a naked underscore
_(unnamed) or with a label_a(named).