A very basic example user-defined type