TypeSynonyms4.purs

module TypeSynonyms4 where

type F x y = x -> y

type G x = F x

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