C*

Generics

TODO

Generic constraints

TODO