Control.Compactable

class Compactable f

fforMaybe

filter

fmapMaybeM

fforMaybeM

applyMaybeM

bindMaybeM

traverseMaybeM