Examples

Applications


slide: Parametrized types -- examples