Silently deriving Show for ▹ and Tm
What I believe is a proper NbE