purescript-0.6.4.1: examples/passing/Rank2TypeSynonym.purs

module Main where

import Control.Monad.Eff

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

main = do
  x <- bar
  Debug.Trace.print x