Module typing