./error_type_not_ok3.nit:23,18: Type error: class Fail not found in module error_type_not_ok3. ./error_type_not_ok3.nit:20,12: Type error: class Fail not found in module error_type_not_ok3.