bind f m
'A -> Free<'I, 'B>
Free<'I, 'A>
Free<'I, 'B>
map f m
'a -> 'b
Free<'c, 'a>
Free<'c, 'b>
return' x
'a
Free<'b, 'a>
Type something to start searching.