errors/ShouldEndInApplicationOfTheDatatype.agda:15,5-19
The target of a constructor must be the datatype applied to its
parameters, Nat isn't
when checking the constructor
.ShouldEndInApplicationOfTheDatatype.fooI0 in the declaration of
Foo