Move 'allowed' into 'where' clause, getting rid of the nested let expression.