test (TTypeRetIO a) (TTypeRetIO b) = do
    Eq <- test a b
    return Eq
test (TTypeRetIO a) (TTypeRetIO b) = do
    Eq <- test a b
    return Eq
test (TTypeRetIO a) (TTypeRetIO b) = do
    Eq <- test a b
    return Eq