typelevel-rewrite-rules-1.0: test/should-compile/InstanceConstraints/Laws.hs
{-# LANGUAGE ConstraintKinds, TypeFamilies #-}
module InstanceConstraints.Laws where
type family F a b
type family G a b
type FLaw a b = F a (F a b) ~ F a b
{-# LANGUAGE ConstraintKinds, TypeFamilies #-}
module InstanceConstraints.Laws where
type family F a b
type family G a b
type FLaw a b = F a (F a b) ~ F a b