Module Recursive

module Recursive: sig .. end

exception Recursive_Type_Failure

val my : 'a option -> 'a