purescript-0.11.0: examples/passing/Rank2TypeSynonym.purs

module Main where

import Prelude
import Control.Monad.Eff.Console (log, logShow)

type Foo a = forall f. Monad f => f a

foo :: forall a. a -> Foo a
foo x = pure x

bar :: Foo Number
bar = foo 3.0

main = do
  x <- bar
  logShow x
  log "Done"