{-# LANGUAGE NoImplicitPrelude #-}

module RecordDefined where

data Callback a = Callback Integer

g (Callback a) = a