module T12063 where
import T12063a
x :: S
x = undefined