This could be used in propellor to improve compile time errors. For example, a RevertableProperty is sometimes used where only a regular Property is accepted. In this case, the error could suggest that the user apply `setupRevertableProperty` to extract the setup side of the RevertableProperty. > The `custom-error-types` branch has this implemented quite nicely. > Unfortunately, it ran into a ghc bug [[!tag user/joey]]