Funktionen höherer Ordnung

In Gofer können Funktionen genauso verwendet werden wie andere Werte (z.B. Integer). Sie können als Argumente an andere Funktionen übergeben werden und das Ergebnis anderer Funktionen sein. Die Typdefinition solcher Funktionen erfolgt mit Typvariablen.
Beispiel: Der .-Operator (Funktionskomposition):

                1. Argument    2. Argument    Ergebnistyp
        (.) ::    (b -> c)  ->   (a -> b)   ->  (a -> c)
        (f.g) x = f (g x)