darcs patch: New function isInfixOf that searches a l... (and 1 more)