úΚ  SafeLaws:    = id  f =  "   f  =  id  f =  (\ x ->     (  x) (f x))Laws if  f:  g .  f =  (\ x ->    (g x) (f x))              filtr_8luvFDgd12N8imZl5TEUa8Data.Filtrable FiltrablemapMaybe catMaybesfilter mapMaybeAfilterA$fFiltrableConst$fFiltrableProxy$fFiltrableMaybe $fFiltrable[]baseGHC.BaseJustfmap Data.BoolboolNothing Data.FoldableFoldablefoldMapmempty