tagless-final-weather-api

A simple application tagless-final-encoding for DEMO purpose.

Demo Note

1. src/main/scala/embedding/Initial.scala
2. src/main/scala/embedding/InitialExtension.scala
3. src/main/scala/embedding/Final.scala
4. src/main/scala/embedding/TypeClassFinal.scala
5. src/main/scala/embedding/TypeClassFinalExtension.scala
6. src/main/scala/embedding/DirectTF.scala
7. src/main/scala/embedding/HigherKindTf.scala