Began to implement Applicative IO, but ran into issue with pattern matching on IO. Posted a StackOverflow question.