> You can't really treat kind-polymorphic > constructors as first-class. What!! But Ur/Web is a project of IMPREDICATIVE.com !! [ This is joking :) ]