path: root/testsuite/tests/patsyn/should_fail/T15694.stderr

T15694.hs:24:35: error:
    • Expected kind ‘k1 -> k00’, but ‘f a1’ has kind ‘ks’
    • In the first argument of ‘(~~)’, namely ‘f a1 a2’