Not exactly types, but with functors you can parameterize modules on values. As far as I can tell it ends up being very similar.