type variable arguments text
ToDo:s about things in future work not being standard haskell
Rename limitations section to future work and merge with existing section