{-# LANGUAGE DeriveFunctor, PolyKinds #-}
module T8534 where
data A a = A deriving Functor