RewriteRelationNotEnoughArguments.agda:6,1-26 A does not have the right type for a rewriting relation because it should accept at least two arguments when checking the pragma BUILTIN REWRITE A