alt/error_type_not_ok4_alt1.nit:21,10--13: Type error: 'Fail' is a generic class.
alt/error_type_not_ok4_alt1.nit:25,16--19: Type error: 'Fail' is a generic class.
alt/error_type_not_ok4_alt1.nit:29,28--31: Type error: 'Fail' is a generic class.
alt/error_type_not_ok4_alt1.nit:30,12--15: Type error: 'Fail' is a generic class.
alt/error_type_not_ok4_alt1.nit:31,18--21: Type error: 'Fail' is a generic class.
alt/error_type_not_ok4_alt1.nit:32,10--13: Type error: 'Fail' is a generic class.
alt/error_type_not_ok4_alt1.nit:33,16--19: Type error: 'Fail' is a generic class.