1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE TypeFamilies #-} module T10534 where import T10534a newtype instance DF a = MkDF () unsafeCoerce :: a -> b unsafeCoerce = silly