Ah, right, that’s indeed a different class. I guess I was too happy to pattern-match someone else’s thought to my great idea. :-)
Ah, right, that’s indeed a different class. I guess I was too happy to pattern-match someone else’s thought to my great idea. :-)