Unlifted and levity-polymorphic types
