aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/ConstraintPolymorphism/constraint-poly-arity-zero.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE GHC2021 #-}
f :: (() ~ () => a) -> a
f x = x
{- ORACLE_TEST pass -}
{-# LANGUAGE GHC2021 #-}
f :: (() ~ () => a) -> a
f x = x