Integration with specs

[danpersa]

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.

[niwinz]

At this moment we have just simple predicates for check if a value is maybe or not.

But clearly that this kind integration is not implemented. We are open to see an approach for do that ;)