Variables in patterns not specified on the left-hand side of a rule may now be used...
-rwxr-xr-x 47 modal
-rw-r--r-- 7653 modal.py
-rw-r--r-- 2919 prelude.modal