testsuite/tests/patsyn/should_fail/T15694.stderr


1
2
3
4
5
6
7


T15694.hs:23:35: error:
    • Expected kind ‘k1 -> k0’, but ‘f a1’ has kind ‘ks’
      ‘ks’ is a rigid type variable bound by
        the type signature for ‘ASSO’
        at T15694.hs:19:30-31
    • In the first argument of ‘(~~)’, namely ‘f a1 a2’