User's Guide: injective type families section
User's Guide: injective type families section

nushio3/ghc,vikraman/ghc,vikraman/ghc,oldmanmike/ghc,vTurbine/ghc,oldmanmike/ghc,mcschroeder/ghc,vikraman/ghc,mettekou/ghc,shlevy/ghc,mettekou/ghc,oldmanmike/ghc,sgillespie/ghc,snoyberg/ghc,snoyberg/ghc,snoyberg/ghc,snoyberg/ghc,shlevy/ghc,vTurbine/ghc,sgillespie/ghc,vTurbine/ghc,mettekou/ghc,vikraman/ghc,gridaphobe/ghc,sdiehl/ghc,tjakway/ghcjvm,sdiehl/ghc,nushio3/ghc,vTurbine/ghc,mettekou/ghc,oldmanmike/ghc,ezyang/ghc,tjakway/ghcjvm,ezyang/ghc,sdiehl/ghc,ezyang/ghc,vikraman/ghc,nushio3/ghc,sgillespie/ghc,sgillespie/ghc,olsner/ghc,ezyang/ghc,ezyang/ghc,gridaphobe/ghc,mcschroeder/ghc,ezyang/ghc,tjakway/ghcjvm,nushio3/ghc,mcschroeder/ghc,tjakway/ghcjvm,gridaphobe/ghc,snoyberg/ghc,vikraman/ghc,sgillespie/ghc,gridaphobe/ghc,sdiehl/ghc,nushio3/ghc,tjakway/ghcjvm,gridaphobe/ghc,vikraman/ghc,shlevy/ghc,olsner/ghc,gridaphobe/ghc,sgillespie/ghc,tjakway/ghcjvm,olsner/ghc,nushio3/ghc,olsner/ghc,olsner/ghc,shlevy/ghc,mcschroeder/ghc,tjakway/ghcjvm,shlevy/ghc,mcschroeder/ghc,nushio3/ghc,snoyberg/ghc,vTurbine/ghc,olsner/ghc,oldmanmike/ghc,mcschroeder/ghc,olsner/ghc,mettekou/ghc,shlevy/ghc,ezyang/ghc,vTurbine/ghc,mettekou/ghc,snoyberg/ghc,sdiehl/ghc,shlevy/ghc,sdiehl/ghc,sdiehl/ghc,sgillespie/ghc,vTurbine/ghc,mcschroeder/ghc,mettekou/ghc,oldmanmike/ghc,oldmanmike/ghc,gridaphobe/ghc