module X {};
let _ : X.Y.t = ();