module T12042 where
data S
type R = S