Allowing module expressions to be defined in any class
Generic typing