purescript-0.7.0.0: examples/failing/TypeSynonyms4.purs

module TypeSynonyms4 where

import Prelude

type F x y = x -> y

type G x = F x

f :: G String String -> String
f k = k "Done"