Calling validate on an already-named field

[singpolyma]

If .: has already been used to add a name to a field, then it seems that one can no longer use validate to add validations to the field (the errors end up under the next-highest Ref, if any). It would be very useful to have a way to add validations to a field that already has a name.

[singpolyma]

Could do it if popRef were exposed, but really I probably want some sort of underRef helper that applies a function under the topmost ref

[singpolyma]

This is working for me:

underRef :: (Form v m a -> Form v m b) -> Form v m a -> Form v m b
underRef f (Ref r x) = Ref r (f x)
underRef f form = f form