A demonstration of an idea about how to represent the lifecycle of entities in Scala using higher-kinded types