Incorrect behaviour of quantified type variables
1. Searching for
:: A.a: [a] -> Intdoes not return
class length m :: (m a) -> Int, while it should.
2. Searching for
:: A.m: (m a) -> Intreturns
class length m :: (m a) -> Int, while it should not.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information