testsuite/tests/simplCore/should_compile/T16288A.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

module T16288A where

import T16288C

data License

class Pretty a where
  pretty :: a -> Doc

instance Pretty License where
  pretty _  = pretV

bar :: (Pretty a) => a -> Doc
bar w = foo (pretty (u w w w w))

u :: a -> a -> a -> a -> a
u = u