added note to type equality