nicer defaulting ergonomics

Isaac Shapira requested to merge type-prop-insanity into master Jun 01, 2024