-- Breakpoints are scoped: eventually we're going to do call
   -- stacks, but also this helps prevent the simplifier from moving
   -- breakpoints around and changing their result type (see #1531).
tickishScoped SourceNote{} = SoftScope
tickishScoped SourceNote{} = SoftScope
tickishScoped SourceNote{} = SoftScope