Sketch a result type