úÎ!Ú¨(c) OleksandrZhabenko 2019MITolexandr543@yahoo.comSafe”mmsyn5*Function that applies additional function  f :: a -> [a] to a if  p a = Truemmsyn5*Function that applies additional function  f :: a -> b to a if  p a = True and otherwise another function  g :: a -> [b] to [a] to obtain [b]mmsyn5cFunction that can apply two different ways of computing something depending of the predicate value p :: a -> Bool for the [a]. Similar to arrow techniques.%mmsyn5-0.2.2.0-BIx4lOy6Bm895cW4lIgUfrData.List.InnToOutmapImapI2mapI3