I think a related idea is using colors to show types, as in https://lobste.rs/s/bfo42i/chameleon_tool_make_solving_type_errors
I think a related idea is using colors to show types, as in https://lobste.rs/s/bfo42i/chameleon_tool_make_solving_type_errors