Data.Monoid.MList

Heterogeneous monoidal lists

type a ::: l

(*:)

class MList l

Accessing embedded values

class l :>: a

Monoid actions of heterogeneous lists

data SM m