Injective type families imply nominal injectivity, but NOT rep inj

Authored by ezyang on Feb 26 2017, 11:10 PM.

Description

Injective type families imply nominal injectivity, but NOT rep inj

Test Plan: validate

Reviewers: simonpj, austin, jstolarek, bgamari, goldfire

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D3223