A type that knows how to build another type
the type that is built by build
Create a new instance of type T