ну да, это отдельная совсем функциональность и она не имеет прямого отношения к fp-ts... (кроме того что fp-ts is a peer dependency for io-ts))
а, изначальный тезис был в том, что юзать io-ts норм и там ничего из fp-ts не торчит наружу — с этим согласен (наверное), это я просто всё о своём %)