Safe-money: Money in the type system where it belongs (2017) | Hacker News Reader