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