Generics.MultiRec.HFix

Fixed point of indexed types

data HFix h ix

hfrom

hto