Re: [Haskell-cafe] Lifting a value into a DataKind