QView was renamed to View
Boolean and Option monoids