Control.Applicative.SubZero
data SubZero f g a
points
reveal
flatten
class Superposition g h
simplify
collapse
keep