Separated pure concepts from other modules.