UHC supports the ST monad and multi-parameter type classes.