Comment by YawningAngel

Which languages allow this? It looks suspiciously like dependent typing to me