module type check