sig type a val default : unit -> Deriving_Default.Default.a end