Types must be first defined then called in a module? Why?

[Tarny_GG_Channie]

That’s a common convention. I myself have been supportive of features requiring the code to look ahead such as attribute inference too but the idea is not very popular.