PatternSynonymOverapplied.agda:10,7-13
Nat should be a function type, but it isn't
when checking that n are valid arguments to a function of type Nat