@neauoire Yeah so it turns out that languages which are human-simple to write are the most complex to typecheck and the languages which are the simplest to typecheck are the most human-complex to understand and write