monad

So how do we solve this? Well a good programmer will recognize the repeated nested match statements and try to devise a function to abstract this away.