Comment by arjvik
10 hours ago
What about the (incredibly unlikely, i'll admit) scenario where somebody attempts to pass the literal 'Expected a Collection' as an instance of this type? What's the best way to insert a warning, but also guarantee the type is unsatisfiable?
('Expected a Collection' & never)?
Perhaps you could make it a private Symbol? Then it should be impossible semantically to use it from the outside.