Skip to content

Allow poly-kinded GADT vars to infer constraints #922

Allow poly-kinded GADT vars to infer constraints

Allow poly-kinded GADT vars to infer constraints #922