4:28 AM
okay, join . fmap join $ x = (x >>= (return . join)) >>= id = x >>= (\y -> (return (join y)) >>= id) = x >>= join, if I didn't make any mistakes.
and of course, join . join = (>>= join) is a simple application of the third monad law with f = g = id
so I think that proves it
