How QuantifiedConstraints can let us put join back in Monad | Hacker News Reader