test (TTypeArr a _) (TTypeArr b _) = do
    Eq <- test a b
    return Eq
test (TTypeArr a _) (TTypeArr b _) = do
    Eq <- test a b
    return Eq
test (TTypeArr a _) (TTypeArr b _) = do
    Eq <- test a b
    return Eq