Typings of optional arguments with quantified variables



If I want to add quantified types there is a syntax like

let id: x. x => x = x => x

how can I use this syntax with optional parameters, for example

let helloworld: type a. ~?hola: option(string) => a => (string) = (~hola="helloworld", something) => 

gives me a syntax error.