For Haskell questions about involving the `-XDataKinds` extension in GHC.
I am trying to find an explanation of the DataKinds extension that will make sense to me having come from …