packages feed

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

{-# LANGUAGE GADTs #-}
module Main (main) where

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