Object.Types

type family Output object action

class Action object action

data a := b

type family MethodOutput object method

(%)

(...)

(*>)

(*<)

(*.)

(>*)

(<*)

(.*)

(*>*)

(*<*)

(*.*)