adam@1836: val one : a ::: Type -> a -> a
adam@1836: val two : a ::: Type -> b ::: Type -> a -> b