This doesn't work; there must be a way to get Maple (diff, has) to treat 'Record' in a domain-specific way when it is 'inside' some constructor (i.e. PARTITION), or 'Record' simply has to be removed from Partition.
This doesn't work; there must be a way to get Maple (diff, has) to treat 'Record' in a domain-specific way when it is 'inside' some constructor (i.e. PARTITION), or 'Record' simply has to be removed from Partition.

zachsully/hakaru,zachsully/hakaru,zaxtax/hakaru,zaxtax/hakaru