-- @shouldFailWith PartiallyAppliedSynonym
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"