> but without static types

So add static types.

https://github.com/coalton-lang/coalton