purescript-0.9.1: examples/passing/NestedTypeSynonyms.purs

module Main where

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

type X = String
type Y = X -> X

fn :: Y
fn a = a

main = log (fn "Done")