## Type families and injectivity in a subset of indexes

I have the following type family:
{-# LANGUAGE TypeFamilyDependencies #-}
type family Const arr r = ret | ret -> r where
Const (_ -> a) r = Const a r
Const _ r = r
This is just the Const function in disguise, but the injectivity checke...

more
»