val one : a ::: Type -> a -> a val two : a ::: Type -> b ::: Type -> a -> b