Haskell TypeString

Methods abstract definition to help in documentation