ghc-exactprint-0.5.3.1: tests/examples/ghc80/T10524.hs
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE PolyKinds #-}
module T10524 where
import Data.Data
newtype WrappedFunctor f a = WrapFunctor (f a) deriving (Data, Typeable)
-- WrappedFunctor :: forall k. (k -> *) -> k -> *