1
Creazione di una concatenazione completamente dipendente
Un bel fatto vero sulla concatenazione è che se conosco due variabili nell'equazione: a ++ b = c Allora conosco il terzo. Vorrei catturare questa idea nel mio concat così uso una dipendenza funzionale. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} import Data.Kind (Type) class …