haskell-src-exts-1.24.0: tests/examples/EqualityConstraints2.hs

one :: a ~ Int => a
one = 1