tokens: I understand most/some of the concepts but I still do not understand , what exactly does haskells type system allow me to do that I cannot do in another statically typed language .
ner_tags: O O O O O O O O O O O O O O O O B-Language O O O O O O O O O O O O O O O O