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.