blob: 88351fd5a7222d2ac588a1db7a4987f101944f65 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE QuantifiedConstraints #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE UndecidableInstances #-}
module T16666 where
$([d| class (c => d) => Implies c d
instance (c => d) => Implies c d
|])
|
