redhat open day: add parametricity slides