Using the type system