Comment by lordnaikon

Is this what is known as pi or dependent types?