1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
{-# LANGUAGE TypeFamilies #-} -- Trac #2334 module Test where data family F r newtype instance F () = F () () deriving Eq newtype instance F Int = H deriving Eq data instance F Bool = K1 data instance F Bool = K2