blob: b73e6b1bc7b0d2c7aaa8bf9e06b73243c4ed882e (
plain)
1
2
3
4
5
6
7
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE QuantifiedConstraints, MultiParamTypeClasses, TypeFamilies #-}
-- NB: No PolyKinds
module T17562b where
class (forall a. a b ~ a c) => C b c
|