fmap and join defined in terms of misty