transformNamed : Lana schema => Name -> (a -> b) -> (b -> a) -> schema b -> schema a
eitherOfNamed : Lana schema => Name -> schema a -> schema b -> schema (Either a b)