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 -> a
AZ
AZ
AK
LC
r
ap :: Monad m => m (a -> b) -> m a -> m b
AK
AZ
ap :: Monad m => m (a -> b) -> m a -> m b
AZ
AZ
r
AZ
AZ
AZ