Type Alias Transformation<F, G, T>

type Transformation<F, G, T> = {
transform: (t: T) => <A>(fa: Get1<F, A>) => Get1<G, A>;
}