tru  = lam<A>(t :: A): lam<B>(f :: B): t end end
fals = lam<A>(t :: A): lam<B>(f :: B): f end end
test = lam<A>(cond :: (A -> (A -> A))): lam(consq :: A): lam(altern :: A): cond(consq)(altern) end end end

# tru-same   = lam <A>(t :: A) tru<A>(t)<A> end
# false-same = lam <A>(t :: A) tru<A>(t)<A> end

tru-number = tru<String>
a = tru(5)
b = tru-number(5)
b-number = b<Number>
c :: String = b-number(6)

fals-string = fals<Number>
d = fals-string("asdf")
d-number = d<String>
e :: Number = d-number(6)

# test(tru-same<Number>)(5)(6)