module T9204b where

import T9204b2

data P a = P