`seq` auf teilweise angewandte Funktionen

Question

Nehmen wir an, ich habe Folgendes:

f :: a -> b -> c
g :: b -> c
g = f 10

Nun sagen wir f ist eigentlich:

f x y = f1 x + y

Würde:

g `seq` ...

tatsächlich auswerten f1 10 so dass später bei der Ausführung von

g 9

es ist eigentlich nur eine einfache Addition?

Wenn nicht, gibt es eine Möglichkeit, Teile einer teilweise angewandten Funktion "auszuwerten"?

Ich suche nach einer generischen Lösung, die nicht davon abhängt, wie man f y g Arbeit.