test (TTypeFuncR t1 t2) (TTypeFuncR t3 t4) = do
    Eq <- test t1 t3
    Eq <- test t2 t4
    return Eq
test (TTypeFuncR t1 t2) (TTypeFuncR t3 t4) = do
    Eq <- test t1 t3
    Eq <- test t2 t4
    return Eq
test (TTypeFuncR t1 t2) (TTypeFuncR t3 t4) = do
    Eq <- test t1 t3
    Eq <- test t2 t4
    return Eq