A silly way to define filter as an HOF on foldr