info

((|eq?| (((|Boolean|) S S) (|arguments| (|b| . S) (|a| . S))))
 (|sample| ((S) (S (|empty| S)))))