P
Size: a a a
P
Т8
p
P
p
p
p
λ
let (fairId : rFairIds) = fairIds
in if all (== fairId) rFairIds
then pure fairId
else throw Error
AZ
let (fairId : rFairIds) = fairIds
in if all (== fairId) rFairIds
then pure fairId
else throw Error
P
ch
B
AZ
p
AZ
p
AZ
Т8
p
Т8