Comment Comment by VivaTechnics Good work! `type<T>` (generic types) can mimic dependent types for this? parent VivaTechnics 1 year ago