fmaap Id

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>
fmaap Optional

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>
Upstream fix

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>
fmaap' Monad

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>
bind and reeturn for Id

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>
bind and reeturn for List

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>
bind and reeturn for Optional

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>
flaaten

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>
apply

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>
lift2

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>
shorter lift2

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>
EoD

Signed-off-by: Olivier Mehani <olivier.mehani@nicta.com.au>