English Type family Cited by user Citation bot on 30 Jan 2023 In computer science, a type family associates data types with other data types, using a type-level function defined by an open-ended collection of valid instances of…