Data.Logic.ATP.TH

unfoldApply

expandBindings