• sugar_in_your_tea
    link
    fedilink
    arrow-up
    2
    ·
    1 day ago

    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.