add a note about overused type inference and hope that Nicolas reads it
mention that inline is not guaranteed
export