I’m afraid they aren’t as both ‘map’ and ‘flatmap’ are defined as a single function; ‘then’ (so it won’t hold true to the monad laws).