Jamie Gabbay: The design of the Nominal Datatypes package in Haskell – Huawei-Edinburgh Joint Lab