Hello, DList is a monad, so you can use them like lists with the MonadComprehensions extension. Alternatively, make use of the MonadPlus functions, which give you the same power without the nice syntax. Best regards, Marcin MRotek