{-# LANGUAGE StrictData #-}

import Unsafe.Coerce

data Hoge = Hoge
  { foo1 :: Foo
  , foo2 :: Foo
  }

data Foo = Foo Int Int deriving Show

main :: IO ()
main = print . foo2 $ Hoge (unsafeCoerce ()) (Foo 1 2)