Permutations 0 = {(<*> NAT)}