Extending to root types