Nach außen hin sind Konfigurationen einfach Aktionen, die auf das entsprechende Objekt angewendet werden können. Sie werden somit wieder durch einen (Objekt-spezifischen) Typen dargestellt, so daß z.B. eine Liste zu setzender Konfigurationen bei der Erzeugung eines Objektes angegeben werden kann. Dies ist der folgende Typ:
type Config w = w -> IO wSomit ist z.B. eine Konfiguration für ein Canvas-Widget vom Typ
Config Canvas.