I love this idea! I want to combine this with git commit checks so I can get through logical flow without types but be forced to do it the right way before I commit.