Continuation constructor and factory now follow similar patterns as found in those of State monad