SetInstances
std
self
Ops
Ops
Ops
Ops
Ops
Ops
Ops
set
std
setMonad
SetInstances
setTraverse
SetInstances
std
alleycats
syntax
alleycats
synthesize
EmptyK