{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE DataKinds, PolyKinds #-}
module T15073 where

import T15073a

newtype Foo a = MkFoo a
  deriving P