type lteq[T] = fn(&T a) -> bool;

fn main(vec[str] args) {

}