aboutsummaryrefslogblamecommitdiff
path: root/html-test/src/Bug1063.hs
blob: d5b1c69f0686d1f0b15b55586fc2d3777eac7d68 (plain) (tree)
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