@mads379 Maybe though we could add the self type annotation as part of the displayed type. WDYT?