3 ms·A non-trivial term-constraint oracle, and a new Haskell teaching tool1 points by Norfair 10y ago