import Unsafe.Coerce import Data.Array main :: IO () main = print =<< (unsafeCoerce (42 :: Int) :: IO (Array (Int, Int) Int))