Clarify about pure/impure interfaces