<div class="gmail_quote">Those are all operators in Prelude. See a concrete library for their operator precedences.<br clear="all"><br>-- <br>Daniel Díaz<br></div>