Machine -> type relation