haskell - 四分木を使用して2^nx 2^n行列を表す場合

Question

nexp教科書で定義を見つけたばかりで、何をするのか/意味するのか想像できません。

data (Eq a, Show a) => QT a = C a | Q (QT a) (QT a) (QT a) (QT a)
    deriving (Eq, Show)

data (Eq a, Num a, Show a) => Mat a = Mat {
    nexp :: Int,
    mat :: QT a}
    deriving (Eq,Show)

目的はnexp :: Int何ですか？

Answer 1

私の推測では、行列の大きさを定義するために指数で使用されるのはnnexpだけです（ ）。2^n x 2^n