filter' :: (a -> Bool) -> [a] -> [a] filter' _ [] = [] filter' predicate (x:xs) = if predicate x then x:(filter' predicate xs) else filter' predicate xs main = print $ filter' (<5) [3, 6, 8, 1, 3, 8, 6]