DDF.DBI

class Monoid r m

class WithDiff repr w

class ConvDiff repr w

withDiff1

toDiffBy1

fromDiffBy1

selfWithDiff

class DBI repr

const1

map2

return

bind2

map1

join1

bimap2

bimap3

flip1

flip2

let_2

class Functor r f

class Applicative r a

class Monad r m

class BiFunctor r p

app3

com2

class NT repr l r

class NTS repr l r

lam

lam2

lam3

type family Diff (v :: *) (x :: *)

data WDiff repr v h x

app2

plus2

noEnv

class ProdCon con l r

class Weight w

data RunImpW repr h x

data ImpW repr h x

type RunImpWR repr h x

runImpW2RunImpWR

runImpWR2RunImpW