Example TodoMVC backend implemented in Scala using the Typelevel ecosystem libraries in a purely functional style