Ticket #3699 (new feature request)
Wildcards in type functions
|Reported by:||MartijnVanSteenbergen||Owned by:|
|Type of failure:||None/Unknown||Difficulty:|
|Test Case:||Blocked By:|
I would like to be able to use wildcards in type synonym family instances, so that I can write:
type instance ErrorAlg (f :>: _) e a = ErrorAlg f e a
Note: See TracTickets for help on using tickets.