blob: d5b1c69f0686d1f0b15b55586fc2d3777eac7d68 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE QuantifiedConstraints #-}
{-# LANGUAGE UndecidableInstances #-}
module Bug1063 where
class (c => d) => Implies c d
instance (c => d) => Implies c d
|
