Document `require/typed` more precisely