Erstellen einer vollständig abhängigen Verkettung
Eine nette wahre Tatsache über die Verkettung ist, dass, wenn ich zwei Variablen in der Gleichung kenne: a ++ b = c Dann kenne ich den dritten. Ich möchte diese Idee in meinem eigenen Concat festhalten, damit ich eine funktionale Abhängigkeit verwende. {-# Language DataKinds, GADTs,...