ParseErrors.dfy(9,15): Error: number of lhs (2) must match number of rhs (1) for a rhs type (NatOutcome) with member Extract
ParseErrors.dfy(10,15): Error: member IsFailure does not exist in int, in :- statement
ParseErrors.dfy(16,4): Error: number of lhs (0) must be one less than number of rhs (2) for a rhs type (VoidOutcome) without member Extract
3 resolution/type errors detected in ParseErrors.dfy
