如何在Zig泛型结构体中实现作用域类型变量？

我想在Zig中定义如下结构体：

const GenericType = struct {
    aType: type,
    aFun: (fn (v: aType) aType),
};

简单来说，这个结构体需要包含一个类型aType，以及一个该类型到自身的映射函数（类似Haskell里aFun :: aType -> aType的一元运算符）。我知道这些类型必须在编译期确定，但不清楚如何让编译器保证结构体中的aType与函数aFun的参数、返回值类型完全统一。

我的需求在功能上等价于以下Haskell代码：

data GenericType a = GenericType
  {aFun :: a -> a}

genInstance :: GenericType Int
genInstance = GenericType (\int -> int + 1)

我想知道Zig能否像Haskell那样，直接在类型结构中引用同一个类型参数（即Haskell中的a）。目前我可以通过函数实现类似效果，但总觉得不够“原生”：

方式一：通过函数参数约束类型 #

fn functionParam(comptime aType: type, arg: aType, func: (fn (aType) aType)) aType {
    // 此处编译正常，aType与func的类型是统一的
    return func(arg);
}

方式二：通过函数返回结构体保留类型关联 #

// 换行以提升可读性
fn GenericType (comptime aType: type, func: (fn (aType) aType)) 
               (struct { 
                   aType: type, 
                   aFun: (fn (aType) aType) 
               })
{
    return .{
        .aType = aType,
        .aFun = func,
    };
}

但即便如此，我还是无法在结构体类型定义层面确保返回的结构体中的aType与传入的第一个参数aType是严格同一类型——我希望这种类型关联是结构体本身的固有属性，而非依赖函数调用时的参数约束。

内容的提问来源于stack exchange，提问作者Caique