I have updated the specification for binding patterns so that ident : type can alternatively be written as (the type ident) This syntax is already supported for expressions. By adding it for binding patterns we are able to return to a completely s-expr compatible syntax. shap