Integration with specs

Hello I have a question related to spec integration.

I saw in another issue that there is the possibility to use `cats.monad.maybe/maybe?` to verify the type.

What I'd like to achieve is to spec this:

_I have a `maybe` and inside of this `maybe`, in case the maybe is `something`, I have a map with the following keys: `:key1 :key2`._

Thanks in advance.