converted cabal example to applicative form, very basic outline. starting logic. sort of understand