| infix: |
no fixity defined |
| name: |
<->. |
| precedence: |
no precedence defined |
| signature: |
Value a -> [Value a] -> Constraint |