Check (nat + nat + {True}).
Check ({True} + {True} + {True}).
Check (nat + {True} + {True}).