Type declaration in Mercury https://mercurylang.org/information/doc-release/mercury_ref/Discriminated-unions.html#Discriminated-unions
