2. L: T List
3. P: T
4.
x
L.P(x)
x
L.P(x)2. L: T List
3. P: T
4.
xL.P(x) xL.P(x)
T:Type, L:T List, P:(T). xL.P(x) 
xL.P(x)
| 1 | 1. T: Type 2. L: T List 3. P: T 4. xL.P(x) xL.P(x) |
| 2 | 1. T: Type 2. L: T List 3. P: T 4. xL.P(x) xL.P(x) |
About:
 |  |  |  |  |  |