Type error doesn't match

[damdamo]

I've written a little example about a bank user and its account.

// Example: addMoney(#user(name: "coco", age: 10, account: #account(10, 100)), 50)

type User :: #nil or #user(name: String, age: Int, account: Account)
type Account :: #empty or #account(_ interest: Int, _ money: Int)

func addMoney(_ user: User, _ moneyAdd: Int) -> User ::
  match(user)
  with #nil ::
    #nil
  with #user(name: let nom , age: let age, account: let account) ::
    match(account)
    // with #empty ::
    //  #nil 
    with #account(let interest, let money) ::
      #user(name: nom, age: age, account: #account(interest, money + moneyAdd))

The code above works if I comment:

with #empty ::
  #nil 

Otherwise, I have this error:

l.29:c.5: type error: type '#empty' doesn't match '#account(_: $8, _: $9)':
    match(account) 

In Account, I've defined two cases, but the #empty case isn't recognize.
I've tested a case with only Account but everything works:

// foo(account: #account(10,10))

func foo(account: Account) -> User ::
  match(account)
  with #empty ::
    #nil
  with #account(let interest, let money) ::
    #nil