Control.Compactable
class Compactable f
fforMaybe
fmapMaybeM
fforMaybeM
applyMaybeM
bindMaybeM
traverseMaybeM