agda/examples/outdated-and-incorrect/Alonzo/RTD.hs

{-# OPTIONS -fglasgow-exts -cpp #-}
module RTD(cast, Typeable(..), mkTyCon, mkTyConApp,
 Dynamic ) where
import GHC.Base
import Data.Typeable(Typeable(..), mkTyCon, mkTyConApp)
import Data.Dynamic(Dynamic)

cast :: a -> b
cast = unsafeCoerce#