bake identity in with filter, simplifying it, and introduce definedAt combinator