nat+nat+{True}
     : Set
{True}+{True}+{True}
     : Set
nat+{True}+{True}
     : Set