Data.Binding.Hobbits.NuElim
nuWithElimMulti
nuWithElim1
class NuElim a
mkNuElimData
class NuElimList args
data NuElimProof a