Control.Applicative.SubZero
points
reveal
flatten
(<-$>)
universal
(<-|>)
class Superposition g h
simplify
collapse
keep
keepIdentity