mapMaybeT package:leancheck

Like mapMaybe but for tiers.