module Maybe: sig .. end
sig
end
type 'a t = 'a option
'a
'a option
val fmap : ('a -> 'b) -> 'a option -> 'b option
('a -> 'b) -> 'a option -> 'b option