ShouldBeAppliedToTheDatatypeParameters.agda:15,5-25 Nat != A of type Set when checking the constructor fooI1 in the declaration of Foo