blob: d6a631fe1516cc41f8dfdcb5db6d768fbb5d916d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TypeFamilies, ConstraintKinds, UndecidableInstances #-}
module Ctx where
import Data.Kind ( Type, Constraint )
type family Indirect :: Type -> Constraint
type instance Indirect = Show
class Cls a where
f :: a -> String
instance Indirect a => Cls [a] where
f = show
|
