Module Deriving_Default.Default_char

module Default_char: Default  with type a = char

type a 
val default : unit -> a