All three types have toJSON