[f1shy]

Absolutely: you can make that with some macros and using type annotations. I do not know how difficult can it be, but surely there are thing already done.