More inlining that allows to inline List.filter