preparing for proper type equality