I regret every `infer` statement I've put in application code.
Grug phrased this elegantly:
https://grugbrain.dev/#grug-on-type-systems
https://news.ycombinator.com/item?id=31840331