prettyValBind :: (VName, ValBinding) -> Html
prettyValBind (name, BoundF (tps, pts, rettype)) =
  "val " <> vnameHtml name <>
  foldMap (" " <>) (map prettyTypeParam tps) <> ": " <>
  foldMap (\t -> prettyParam t <> " -> ") pts <> " " <>
  prettyType rettype
prettyValBind :: (VName, ValBinding) -> Html
prettyValBind (name, BoundF (tps, pts, rettype)) =
  "val " <> vnameHtml name <>
  foldMap (" " <>) (map prettyTypeParam tps) <> ": " <>
  foldMap (\t -> prettyParam t <> " -> ") pts <> " " <>
  prettyType rettype
prettyValBind (name, BoundF (tps, pts, rettype)) =
  "val " <> vnameHtml name <>
  foldMap (" " <>) (map prettyTypeParam tps) <> ": " <>
  foldMap (\t -> prettyParam t <> " -> ") pts <> " " <>
  prettyType rettype