sempre meglio un tool in piu che in meno, ma cé'anche il problema della frammentazione tra spec/prismatic schema/malli/spec2 (quando uscira)

e in piu' tutti questi modi di definire tipo sono molto piu'potenti di un type system normale, quindi penso che difficilmente trovi molto che gia' non dovrebbe venire a galla quando esegui i tests