Data.Listでの実装は
find p = listToMaybe . filter p
だぞ。別に filterM して head も似たようなもんじゃないか？

[IO a]でもIO [a]でも無限リストで要素が無ければ止まらないのは
一緒だと思う。