implementation module T

:: T = T

someT :: T
someT = T

derive class dyn T