definition module T

import StdGeneric

:: T

someT :: T

class dyn a | TC a
derive class dyn T