term documentation literal fails on functions with parameters that are polymorphic functions

[Baccata]

UCM : release/0.5.40

Reproduction :

term: (forall x . [x] -> [x]) -> Boolean
term f = isEmpty (f [])

someDoc = {{
  test {term}
}}

fails with :

  I found a value  of type:  ([x1] ->{𝕖} [x1]) ->{𝕖} Boolean
  where I expected to find:  ([x] -> 𝕣1) -> 𝕣
  
      1 | term: (forall x . [x] -> [x]) -> Boolean
      2 | term f = isEmpty (f [])
      3 | 
      4 | someDoc = {{
      5 |   test {term}
  
    from right here:
  
      1 | term: (forall x . [x] -> [x]) -> Boolean