:wave:@flash-gordon , yesterday I published one issue with Dry::Monads::List::Validated and prepared a quick fix for it.May I ask you to review corresponding PR dry-rb/dry-monads#66 , please?Thank you in advance!

Dry::Types[‘float’] is just a definition which is not really usable for anything except type annotation.

When you use .constrained, it creates a Dry::Types::Constrained on top of the old type. IIRC, there are two kinds of constrained types: strict and coercible (available under Dry::Types::Constrained::Coercible)