The TinyWeb web framework from Bevilacqua-Linn's 'Functional Programming Patterns'