testsuite/tests/indexed-types/should_compile/T15711.stderr


1
2
3
4
5
6

TYPE CONSTRUCTORS
  class C{1} :: * -> Constraint
  associated type family F{2} :: forall a. Maybe a -> *
    roles nominal nominal
Dependent modules: []
Dependent packages: [base-4.16.0.0, ghc-bignum-1.0, ghc-prim-0.8.0]