[Haskell-cafe] Update for type-level library (0.2.4)