testsuite/tests/dependent/should_fail/BadTelescope.stderr


1
2
3
4
5
6
7
8
9


BadTelescope.hs:9:1: error:
    • These kind and type variables: (a :: k)
                                     k
                                     (b :: k)
                                     (c :: SameKind a b)
      are out of dependency order. Perhaps try this ordering:
        k (a :: k) (b :: k) (c :: SameKind a b)
    • In the data type declaration for ‘X’