Used more descriptive names and added haddock comments to inContext and inDefaultContext.