testsuite/tests/typecheck/should_fail/T10836.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TypeFamilies #-}
module T10836 where

type family Foo a = r | r -> a where
    Foo Int  = Int
    Foo Bool = Int

type family Bar a = r | r -> a where
    Bar Int  = Int
    Bar Bool = Int