WIP: TypeClass replaced by more powerful Lazy and user level implicits.