The type constructor that's being assumed injective in the section “Deriving `ab... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

catnaroek on July 28, 2016 | parent | context | favorite | on: The Rust Platform

The type constructor that's being assumed injective in the section “Deriving `absurd` with type families” is `R`.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact