blob: d3b52da9a2473e4d2c60dc33c16fdb096229a4e5 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE PolyKinds #-}
module Bug where
class C p q
data D = D deriving (C (a :: k))
|