Module Deriving_Default.Default_unit

module Default_unit: Default  with type a = unit

type a 
val default : unit -> a