Extending to root types | Introduction