Point free was technically mentioned once, but more as a "I'd rather not get into this in great detail right now." thing. It's really cool, though.