module T12063a where
import {-# SOURCE #-} T12063
type S = T