module Tc266 where
data T
f :: T