testsuite/tests/indexed-types/should_fail/T13971b.stderr


1
2
3
4
5
6
7


T13971b.hs:9:3: error:
    • Illegal duplicate variable ‘k’ in:
        ‘type T @k @k a b = ...’
        The arguments to ‘T’ must all be distinct type variables
    • In the default type instance declaration for ‘T’
      In the class declaration for ‘C’