Perkuat desain tipe dengan newtype, alias, never type, dan konversi From Into. Section ini memuat 7 Chapter yang disusun mengikuti urutan pembelajaran, mulai dari konsep paling mendasar hingga penerapan yang lebih mendalam.