applicative functional pattern c