withFilter answer monadic

withFilter errata monadic