#29 refactoring tlssv.hs