-module(y). -export([t/0]). t() -> x:t().