blob: a023c0f7f86e98caf522f10982678471867d400b (
plain)
1
2
3
4
5
6
|
{-# LANGUAGE QuantifiedConstraints, DatatypeContexts, PolyKinds #-}
-- NB: This actually works with -XNoPolyKinds, due to defaulting.
module T17567StupidTheta where
data (forall a. a b ~ a c) => T b c
|