Aim of this project (real world example) is an implementation of data processing algorithm using concepts of advanced Scala Types:

• Phantom Types: steps of algorithms are described in typesafe-way
• Recursive Types (F-bounded polymorphism): data description using
• Self-types: even stronger data description

This is still in progress project. Stay tuned!