Experience report: types for a relational algebra library. - Lennart Augustsson; Mårten Ågren (Haskell, 2016)