How to aggregate on MaybeFields?

[stevemao]

After optionalRestrict, I get maybeFieldsR but then I need to aggregate on it. I cannot figure out how to do that other than converting it to nullable.

These work

aggregateMaybeFields = do
        aggregate (p1 groupBy) $ do
                return (toFields @Bool @(Field SqlBool) True)

aggregateMaybeFields2 = do
        aggregate (p1 groupBy) $ do
                return (toFields @(Maybe Bool) @(FieldNullable SqlBool) (Just True))

This doesn't

aggregateMaybeFields3 = do
        aggregate (p1 groupBy) $ do
                return (toFields @(Maybe Bool) @(MaybeFields SqlBool) (Just True))

[tomjaguarpaw]

Ah yes, I don't think there is any way of aggregating over MaybeFields. I should think about how to incorporate that. In the meantime I think it's best to use nullable, as you have discovered.