type F = <T>(T) => T;
type G = (<A, B>(A) => B);
type H = { 'A': string, "B": number };