purescript-0.9.1: examples/passing/LiberalTypeSynonyms.purs

module Main where

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

type Reader = (->) String

foo :: Reader String
foo s = s

type AndFoo r = (foo :: String | r)

getFoo :: forall r. Prim.Record (AndFoo r) -> String
getFoo o = o.foo

type F r = { | r } -> { | r }

f :: (forall r. F r) -> String
f g = case g { x: "Hello" } of
        { x: x } -> x

main = log "Done"