Since our types are not associated with their methods, marking
constructors makes them inaccessible from bindings.  Undo for now.