testsuite/tests/indexed-types/should_fail/T12867.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE FlexibleContexts #-}

module T12866 where

type Test2 a = (Eq (TestM a))

class Test a where
    type TestM :: *