public delegate Directive Decider(
	Exception cause
)

type Decider = 
    delegate of 
        cause : Exception -> Directive