Here's the implementation we use at work. You might find some interesting ideas there. It's nicely documented.

https://hackage.haskell.org/package/safe-money-0.9.1/docs/Mo...