Thank you for both your answers. I guess my main worry with this scheme would be fragmentation, having 3rd party libraries not bothering using Type* where it m

Thank you for both your answers. I guess my main worry with this scheme would be fragmentation, having 3rd party libraries not bothering using Type* where it makes sense and making it very difficult to write code using uniqueness types. I guess I'll have to learn me some Idris and see for myself, the language looks very interesting.