A custom operation may not be used in conjunction with a non-value or recursive 'let' binding in another part of this computation ...