FMP significantly complicated type signatures such as length :: Foldable t => t a -> Int, which makes teaching Haskell more difficult.

I propose a language extension -XBeginner which instructs GHC(i) to specialize Foldable and Traversable to [] when possible and in case of an ambiguous instance, default those to [].