Is there any statically-typed FP language with Lisp's parenthesized syntax?