blob: c6d13a1feb73691f27902f8c7203e73ad7ef0a0d (
plain) (
tree)
|
|
{-# 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
|