为什么通常使用newtype而不是状态为monad的类型

几乎所有我见过的例子 State Monad被包裹在一个 newtype .

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

import Control.Monad.State
import Control.Applicative

data Bazzar 
  = Bazzar {
    valueOne :: Int      
  , valueTwo :: Int      
  }

newtype BazState a = BazState { unBazify :: State Bazzar a } 
  deriving (Functor, Applicative, Monad, MonadState Bazzar)

我不应该只做一个类型别名,有什么理由吗?

type BazState a = State Bazzar a

我意识到 新类型 是为了区分同一类型数据结构的两种不同用途,例如为现有类型重新实现类型类,或者如果您想区分该类型的使用与正常行为。或实现其他类型类以使用该类

如果你没有做上面提到的任何事情 新类型 在这种情况下只是不必要的间接?