3 ms·

GHC Haskell (not standard Haskell) supports this and it's heavily used. Look for "Rewrite rules".