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 ErrorAZ
let (fairId : rFairIds) = fairIds
in if all (== fairId) rFairIds
then pure fairId
else throw ErrorP
ch
B
AZ
p
AZ
p
AZ
Т8
p
Т8