The Typed Tagless Final approach vs. the Free Monad one A project for comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad