aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/UnicodeSyntax/unicode-rank-n.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE RankNTypes #-}

module UnicodeSyntaxRankN where

-- Rank-N type with Unicode
runST ∷ (∀ s . ST s a) → a
runST = undefined

data ST s a = MkST