@mark At the risk of being accused of moving my goalposts, I'd say a bug that is caught by having a type for each idea is not one that is “trivially” caught by a type system.

I think the closest Rails equivalent is global_id