### Input
let Bool = (T: Type) -> T -> T -> T;
let true = (T: Type) => (v1: T) => (v2: T) => v1;
let false = (T: Type) => (v1: T) => (v2: T) => v2;
true _ true false

### Eval
(T: Type) => (v1: T) => (v2: T) => v1

### Type
(T: Type) -> T -> T -> T