Once you've written some really great types that provide helpful information to other developers at the point they are about to screw up, you'll never go back.