Unlifted and levity-polymorphic variants of several types from base.
