Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala - View it on GitHub