[shriphani]

Hi. This is very nice. It has the flavor of Racket's contracts:

http://docs.racket-lang.org/guide/contracts-first.html

http://docs.racket-lang.org/reference/contracts.html