prettyValBind (name, BoundV t) =
  "val " <> vnameHtml name <> " : " <> prettyType t
prettyValBind (name, BoundV t) =
  "val " <> vnameHtml name <> " : " <> prettyType t
prettyValBind (name, BoundV t) =
  "val " <> vnameHtml name <> " : " <> prettyType t