blob: 72c1733a53562b78cf91bc097991ba390a4a3d7a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE ConstraintKinds, FlexibleInstances, TypeFamilies,
MultiParamTypeClasses, FlexibleContexts, UndecidableInstances, ScopedTypeVariables #-}
module T5515 where
class ctx (Arg ctx) => Bome ctx where
type BArg ctx
instance ctx a => Bome ctx where
type BArg ctx = a
class C f a
class C f (Arg f) => Some f where
type Arg f
instance C f a => Some f where
type Arg f = a
|
