~{func} :: (YesodPersist master) => ~{hsFieldType f} -> HandlerT master IO Bool