úÎ!ï½(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.1-E5tP7pvQKJvFQjQWvHASKqData.List.InnToOutmapImapI2mapI3