Refactor continuation monad in preparation for continuation transformer
Typo