@solnic I think I only saw a port of the monads lib, and I argued that crystal almost obviates the need for both Maybe and Either monads by having type unions in it's type system already. But then again, I've never actually used the monads so I might be missing something.

I'm mainly interested in ROM itself and dry-validation, which look like excellent tools for building webapps.