[Haskell-cafe] How to express constraint succeeded?

23 Aug 2018

      Hello, Dear Cafe! I have expression

     'True ~ 'True

in right hand side of type level function. Is some "constant" for the same?

Paul