# Pastebin v1X5RQb7
ix1 :: Applicative f => (Char -> f Char) -> Text -> f Text
ix1 f t = case T.unpack t of
  (hd : ch : tl) -> (\ch' -> T.pack $ hd : ch' : tl) <$> f ch
  _ -> pure t