Simple hello world like demonstration of creating a dsl with eff and with the tagless final (with eff) approach. We create a DSL for the simplest side effect (getting local date time from system) and interpret it with different monads.