#45 refactoring tlssv.hs: remove TVar