This is the current right way, but it's not the best. I'll add `^` to be able to do: `(Step.(~any, any) ^ ResumedStep.(~any, any, any)) --> step do`