haskell-src-exts-1.24.0: tests/examples/EqualityConstraints1.hs
-- https://github.com/haskell-suite/haskell-src-exts/issues/91
{-# LANGUAGE GADTs #-}
one :: a ~ Int => a
one = 1
-- https://github.com/haskell-suite/haskell-src-exts/issues/91
{-# LANGUAGE GADTs #-}
one :: a ~ Int => a
one = 1