ghc-exactprint-0.5.3.1: tests/examples/ghc80/T10534.hs

{-# LANGUAGE TypeFamilies #-}

module T10534 where

import T10534a

newtype instance DF a = MkDF ()

unsafeCoerce :: a -> b
unsafeCoerce = silly