module T5424a where

data X
data Y