Beam Type errors

beam_type_errors.txt

Trying to isolate the problem, adding the expression:
    let a = Address default_
I get:
    • Couldn't match type ‘Columnar f0 Int’
                     with ‘QGenExpr ctxt0 expr0 s0 a0’
      Expected type: C f0 Int
        Actual type: QGenExpr ctxt0 expr0 s0 a0
      The type variables ‘f0’, ‘ctxt0’, ‘expr0’, ‘s0’, ‘a0’ are ambiguous
    • In the first argument of ‘Address’, namely ‘default_’
      In the expression: Address default_
      In an equation for ‘a’: a = Address default_
    • Relevant bindings include
        a :: C f0 Text
             -> C f0 (Maybe Text)
             -> C f0 Text
             -> C f0 Text
             -> C f0 Text
             -> PrimaryKey UserT f0
             -> AddressT f0
          (bound at src/Tables.hs:176:7)
    |
176 |   let a = Address default_