git.iko.soy/rowtype-yoga/purescript-native
on 558cd4e help sign in
rowtype-yoga/purescript-native/examples/passing/Rank2Types.ps
10 lines 233 B history raw
1test1 :: (forall a. (a -> a)) -> Number
2test1 = \f -> f 0
4foreign import data ST :: * -> * -> *
6foreign import runST :: forall a. (forall s. ST s a) -> a
8foreign import exampleST :: forall s. ST s Number
10testST = runST exampleST