> picks JVM family of languages
> picks the one functional language on JVM with bad typesystem
> why doesn't it have good types?
> builds own type system
> hmm.javac