Modules

Force coercion when validating type constraints