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

{-# LANGUAGE TypeFamilies #-}

module D where

import A
import C

type instance F a b = a

unsafeCoerce :: a -> b
unsafeCoerce x = oops x x