При представлении 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

Мое лучшее предположение состоит в том, что nexp - это просто n , используемый в exp -оненте для определения размера матрицы (2^n x 2^n).