return null in Unifier if function that are not datatype are different