1 comment of 2

[ 4.7 ms ] story [ 32.3 ms ] thread
Good work! `type<T>` (generic types) can mimic dependent types for this?