NestedTypeSynonyms.purs

module Main where

  import Prelude

  type X = String
  type Y = X -> X

  fn :: Y
  fn a = a

  main = Debug.Trace.print (fn "Done")