module T5745b where

data T = MkT
data S = MkS