I've replied to this in haskell-cafe. Alexandre Weffort Thenorio writes: : | But I get this error saying: | | Expected Type: [String] | Inferred Type: String :