unify2lists [MyNum 1, MyNum 2, MyNum 3] [MyNum 1, MyNum 4, MyNum 5]
unify2lists [MyNum 1, MyNum 2, MyNum 3] [MyNum 1, MyAtom "a", MyNum 5]
unify2lists [MyNum 1, MyNum 2, MyNum 3] [MyAtom "a", MyAtom "b", MyAtom "c"]
unify2lists [MyNum 1, MyAtom "b", MyNum 3] [MyAtom "a", MyNum 2, MyAtom "c"]
unify2lists [MyNum 1, MyNum 2, MyNum 3] [MyAtom "b", MyAtom "b", MyAtom "c"]
unify2lists [MyNum 1, MyAtom "a", MyNum 3] [MyAtom "a", MyAtom "b", MyAtom "c"]
unify2lists [MyAtom "a", MyAtom "b", MyAtom "c"] [MyAtom "b", MyAtom "c", MyAtom "a"]
unify2lists [MyNum 1, MyNum 4, MyNum 3] [MyNum 1, MyNested[MyNum 4], MyNum 3]