find, and a (slightly) faster desugaring for cases