I looked through the Readme and I don't see any examples. Perhaps I've misunderstood the terminology. You know, something typed liked this:
(a: number, b:string): boolean
It seems like pretty necessary stuff to me, and most of the underlying things seem like they'd already be available.