Full threadVivaTechnics·Good work! `type<T>` (generic types) can mimic dependent types for this?View on HN