Polymorphic _0 (from dimensional).