What to do if you have a Non Exhaustive pattern match

[dta]

I would be interested in seeing the code that calls single_L as well. Since it’s already doing the pattern matching, can it pass in el, rlst, and rrst instead of rst?