on d579a48 help sign in
20 lines 331 B history raw
1{-# LANGUAGE TypeFamilies #-}
3instance Foo Int where data Bar Int = IntBar Int Int
5instance Foo Double where
6 newtype
7 Bar
8 Double
9 =
10 DoubleBar
11 Double
12 Double
14instance Foo [a]
15 where
17 data Bar [a] =
18 ListBar [Bar a]
19 data Baz [a] =
20 ListBaz