{-# htermination mapAccumL :: (a -> b -> (a, c)) -> a -> [b] -> (a, [c]) #-}
import List