• sugar_in_your_tea
    link
    fedilink
    arrow-up
    2
    ·
    2 个月前

    I would really like the mythical higher kinded types (which I think covers what Ada does here), but unfortunately we don’t have that yet.