I did find this, though it seems runime only: https://github.com/dokutan/typed-fennel https://github.com/dokutan/typed-fennel Maybe a static system can be buil

I did find this, though it seems runime only: https://github.com/dokutan/typed-fennel https://github.com/dokutan/typed-fennel Maybe a static system can be built upon it.