10 * true : Nat
fun x => x * 1 : Nat → Nat