lumos lumos is programming language right model syntax as same as lisp static type system here is a peek (typename [T :class Ord]) (define add (fun ([:a T] [:b Int] [-> T]) (+ a b)))