filterList p (C x xs)
  | p x       = C x (filterList p xs)
  | otherwise = filterList p xs
filterList p (C x xs)
  | p x       = C x (filterList p xs)
  | otherwise = filterList p xs
filterList p (C x xs)
  | p x       = C x (filterList p xs)
  | otherwise = filterList p xs