Magma Types