Insert for readonly

[tomsmalley]

Is it possible to provide a RO which will always use the default to build HsI values? I ask because I'd like to make any id columns readonly, such as:

type instance Columns User =
   '[ 'Column "id" RO R UserId UserId
    , 'Column "name" W R PGText Text
    , ...

but then I can't make an insert with just the other fields using mkHsI:

ghci
:t mkHsI User
mkHsI User
  :: Tagged "id" (TypeError ...)
    -> Tagged "name" Text
    ->  ...

I'd like to have

ghci
:t mkHsI User
mkHsI User
  :: Tagged "name" Text
    ->  ...

where the id would always just use WDef automatically.

For now I just leave RO as WD and provide WDef in mkHsI. This functionality would just make things a slight bit tidier.

I may be missing something, I only discovered this library today after reading this fantastic blog post: http://ren.zone/articles/opaleye-sot.