Cons is not unifiable, need to address that