tTest :: Test
tTest = TestCase $ assertEqual "Wrong sorts" (Left msg) (varsCheckT erroneous)
tTest :: Test
tTest = TestCase $ assertEqual "Wrong sorts" (Left msg) (varsCheckT erroneous)
tTest = TestCase $ assertEqual "Wrong sorts" (Left msg) (varsCheckT erroneous)