[o11c]

Before concepts it was certainly possible, but when it happened you just had to add some extra type assertions to make it clear where the error is.