on d02483a help sign in
19 lines 330 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
16 data Bar [a] =
17 ListBar [Bar a]
18 data Baz [a] =
19 ListBaz