        Var -> " variable."
        Fun -> " function."
        Data -> " datatype."
        Constr -> " constructor."
        Array -> "n array."
    ArgNum expected found -> "Incorrect number of arguments, found " ++ show found ++ " but was expecting " ++ show expected
    DimNum expected found -> "Incorrect number of dimensions, found " ++ show found ++ " but was expecting " ++ show expected
    Type expected found -> "Incorrect type, found " ++ show found ++ " but was expecting " ++ show expected
