в хаскеле гарды это любые вычисления, так что там можно сделать Map.size x == n
а в эрланге гарды это урезанный язык, чтобы делать их эффективнее и вмержить прямо в язык матчинга, там нужно собирать guard из примитивов, и я не уверен что это возможно для мапы, если это не list-map конечно