Thanks for the link. That's an interesting approach that I hadn't considered. Would be nice to see it also support checking the return types and higher-order fu

Thanks for the link. That's an interesting approach that I hadn't considered. Would be nice to see it also support checking the return types and higher-order functions.