data Foo = IFoo Int | SFoo String deriving (Data, Typeable)

gconstr :: (Data a, Data t) => a -> t

gconstr (5 :: Int) :: Foo == IFoo 5
gconstr "asdf" :: Foo == SFoo "asdf"
gconstr True :: Foo == _|_