The purpose of this talk is to illustrate how categories and effect-based programming could simplify some kind of abstractions, using the Monadic Parser Combinators as a vehicle for explanation.