Use standard monadic/applicative interface.  Remove ==>.