Type.DefArgs

Example

Def

data Def

Converters

defarg

defargs2

defargs3

defargs4

defargs5

defargs6

defargs7

defargs8

defargs9

defargs10

Constraints

type MightBe a' a

type a' =? a