prettyParam (Just v, t) = parens $ vnameHtml v <> ": " <> prettyType t
prettyParam (Just v, t) = parens $ vnameHtml v <> ": " <> prettyType t
prettyParam (Just v, t) = parens $ vnameHtml v <> ": " <> prettyType t