<@U0C4292KA>: Probably possible, you can get away ...
# stdlib
c
@jasoet-gdp: Probably possible, you can get away with this without support for highed kinded types