- you want `deriving` - you might want to look at staging (MetaOCaml) - you might want to look at resource management (uniqueness typing fe) - you might w

- you want `deriving` - you might want to look at staging (MetaOCaml) - you might want to look at resource management (uniqueness typing fe) - you might want to look at paralellism and maybe you can even release it before Ocaml/multicore arrives ;)