For usability, adding this error should probably be accompanied with way to specify custom left-arrow default behavior for non-types.