h :: (Al (Bl (Bl ( Cl (Dl (Dl (El y)))))))
h = f k1 k2 k3 k4 k5 (\ c -> k2 (k1 (k3 c))) k7 k8 k6
h :: (Al (Bl (Bl ( Cl (Dl (Dl (El y)))))))
h = f k1 k2 k3 k4 k5 (\ c -> k2 (k1 (k3 c))) k7 k8 k6
h = f k1 k2 k3 k4 k5 (\ c -> k2 (k1 (k3 c))) k7 k8 k6