Thanks for the re-prompt @jaror. Very natural solutions proposed in your link, and I didn’t know LT.
I am impressed by the built-in self-awareness of GHC to acknowledge that it cannot guarantee that getSymbol well defined. This is a fine feature indeed!
