blob: e320bd5184cf04b7cacd367a2da6502ec92d2ea1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
module Lib where
data T1 a = T1 a
newtype T2 a = T2 a
f :: T1 a -> Bool -> ()
f _ True = ()
f (T1 _) True = ()
f _ _ = ()
g :: T2 a -> Bool -> ()
g _ True = ()
g (T2 _) True = ()
g _ _ = ()
|