fixed error in (>>=)/fmap law