html-test/src/Bug1063.hs


1
2
3
4
5
6
7
8
9

{-# 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