testsuite/tests/backpack/should_fail/bkpfail42.bkp


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TypeFamilies #-}
unit p where
    signature A where
        type family F a where
            F a = Bool
unit q where
    dependency p[A=<A>]
    signature A where
        type family F a where
            F a = Int