``` T : type = class: ; T.foo(x : int) : int! return x main() : int! t : T; return t.foo(10); ``` compiles and runs!