Jukebox.UnionFind

type UF a

data Replacement a

(=:=)

rep

evalUF

execUF

runUF

type S a

isRep

initial

reps