module T12035a where
import {-# SOURCE #-} T12035
f :: T -> T
f x = x