1 2 3 4 5 6 7 8
{-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE PolyKinds #-} module T10524 where import Data.Data newtype WrappedFunctor f a = WrapFunctor (f a) deriving (Data, Typeable)