jaror, Sometimes
ImpredicativeTypes
can be a good replacement forDeepSubsumption
: https://stackoverflow.com/a/76936438/15207568
jaror, Sometimes
ImpredicativeTypes
can be a good replacement forDeepSubsumption
: https://stackoverflow.com/a/76936438/15207568