Module type Deriving_Default.Default

module type Default = sig .. end

type a 
val default : unit -> a