Finally tagless eDSL

• Embedded DSLs
• Tagged vs. tagless values
• StandaloneDeriving
• Equality constraints
• OverloadedStrings, OverloadedLabels
• RebindableSyntax
• Overlapping instances
• PartialTypeSignatures
• Initial vs. “final” (initial as well!) encoding
• Final encoding for effects = mtl