Isos between (ValidationT Identity) and other data types