write :: DirTree (Either e a) -> DirTree (Either e (Maybe a))
write = fmap (second Just)
write :: DirTree (Either e a) -> DirTree (Either e (Maybe a))
write = fmap (second Just)
write = fmap (second Just)