purescript-0.15.15: tests/purs/passing/Rank2TypeSynonym.purs

module Main where

import Prelude
import Effect.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"