module TVariable where

(a, b) = (1, 2)

f g y = g y