#A #m #B #a #f (((m #m B) a) #m.value (f m.value))