prelude: Change in API, annotations.