-------------------------------------------------------------------------------
for :: (Functor f) => f a -> (a -> b) -> f b
for = flip fmap
for :: (Functor f) => f a -> (a -> b) -> f b
for = flip fmap
for = flip fmap