Menciptakan gabungan yang sepenuhnya tergantung
Fakta benar yang bagus tentang penggabungan adalah bahwa jika saya tahu ada dua variabel dalam persamaan: a ++ b = c Lalu aku tahu yang ketiga. Saya ingin menangkap ide ini di konser saya sendiri jadi saya menggunakan dependensi fungsional. {-# Language DataKinds, GADTs, FlexibleContexts,...