we're now just kind-polymorphic