Parameter Lift2.1-M

type ('a, 'b) t
val map : ( 'a -> 'b ) -> ( 'c -> 'd ) -> ( 'a, 'c ) t -> ( 'b, 'd ) t