След на паутине

Думаю лучшим (и простейшим) вариантом будет возвращать как раз то что возвращает Find - Just x в случае успеха и Nothing в случае если пересечение не найдено. Код поиска наличия пересечения, не работающий в случае отсутствия этого пересечения, как-то странновато выглядит. Естественно, бывают случаи когда это определено контрактом, но в типичной ситуации лучше наверное вести себя так же как стандартная find