(require "factorial-basics.BRU")
(require "combinators.BRU")
[(fac (Y fac-impl))]