testsuite/tests/backpack/should_compile/bkp37.bkp


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE FlexibleInstances #-}
unit p where
    signature A where
        data K a
        instance Show (K Int)
        instance Show (K Bool)
unit q where
    module A where
        type K = []
unit r where
    dependency p[A=q:A]