We should have a project `colibri-types` (just type classes) and a project `colibri` (depending on types and providing a simple js implementation).