model: easy path for type test