packages feed

haskell-src-exts-1.16.0: tests/examples/EqualityConstraints1.hs.prettyprinter.golden

{-# LANGUAGE GADTs #-}
module Main (main) where
 
one :: a ~ Int => a
one = 1