SetInstances

std

self

Ops Ops Ops Ops Ops Ops Ops

set

std

setMonad

SetInstances

setTraverse

SetInstances

std

alleycats

syntax

alleycats

synthesize

EmptyK