sig type a = unit val default : unit -> a end