Prettify, add implicitNotFound annotation