EnvC =| (|=) :: Constraint -> * -> *