inverse out is an own type now