Haskell - Look Ma! No Concrete Implementation!
Using tagless final to structure programs
Tags: haskell, functional