( def M
  ( makeff
    ( "BAMS"
      ( Ffun
        ( Var "AccId" )
        ( Var "Account" )
      )
    )
    ( "Account"
      ( Prod
        ( makeseq
          ( Pset
            ( Cst "2" )
            ( Var "AccHolder" )
          )
          ( Var "Amount" )
        )
      )
    )
    ( "AccId"
      ( Cst "STR" )
    )
    ( "AccHolder"
      ( Cst "STR" )
    )
    ( "Amount"
      ( Cst "INT" )
    )
  )
)
;---------------------