module T9204b where

data P a = P