Bisakah seseorang menjelaskan perbedaan antara tipe dependen dan tipe perbaikan? Seperti yang saya pahami, tipe penyempurnaan berisi semua nilai dari tipe yang memenuhi predikat. Apakah ada fitur tipe dependen yang membedakannya? Jika itu membantu, saya menemukan tipe Refined melalui proyek Liquid...