I read the code below in Indexed Monad

{-# LANGUAGE QuasiQuotes #-}
import Control.Monad.Indexed.State
import Control.Monad.Indexed
import Language.Haskell.IndexedDo

hoge :: IxState Int [Int] ()
hoge = [ido|do
    imodify (*10)
    imodify show
    imodify reverse
    imodify (++"123")
    imodify $ map fromEnum
    |]

What is the syntax of these symbols [|....|] ?

Is it some kind of syntax sugar ?

haskell monads ghc
Edit
Report