AZ
Size: a a a
AK
r
fix $ ap (flip if' 1 . (0 ==)) . ap (*) . (. subtract 1)AZ
fix $ ap (flip if' 1 . (0 ==)) . ap (*) . (. subtract 1)AZ
С
r
if' : Bool -> a -> a -> aAZ
AZ
AK
LC
r
ap :: Monad m => m (a -> b) -> m a -> m bAK
AZ
ap :: Monad m => m (a -> b) -> m a -> m bAZ
AZ
r
AZ
AZ
AZ