handle matches (t => pat) with patterns without variables