AFAIK, none of these constructors are actually callable from JS right now. Is this future-proofing?