blob: a517eea7f9ccf3fcc5ede8bb4b00ed389e89f49a (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE PolyKinds, MultiParamTypeClasses, FunctionalDependencies,
UndecidableInstances, FlexibleInstances #-}
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
module T10109 where
data Succ a
class Add (a :: k1) (b :: k2) (ab :: k3) | a b -> ab
instance (Add a b ab) => Add (Succ a) b (Succ ab)
|