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