Allow the programmer to instantiate types themselves.