Feldspar.DSL.Sharing
substitute
count
countM
countNonEq
data SomeLam expr
data Params expr
data Env expr
simpleParams
initEnv
compound
independent
liftable
choose
sharing
descend
simpleSharing
isFunction