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


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE TypeFamilies #-}
module T18648 where

class Foo1 a where
   type Bar1 a
   type Bar1 (f a) = Bar1 a

class Foo2 a where
   type Bar2 a
   type Bar2 (Bar2 a) = a