main :: IO H.Counts
main = H.runTestTT $ H.TestList $ (makeToHoTTTest <$> [toHoTTTest1])
main :: IO H.Counts
main = H.runTestTT $ H.TestList $ (makeToHoTTTest <$> [toHoTTTest1])
main = H.runTestTT $ H.TestList $ (makeToHoTTTest <$> [toHoTTTest1])