HeinrichApfelmus/operational — pull request #1 by sjoerdvisscher (2012-05-24 15:34:03+00:00)
Title: Eta reduce Program and ProgramView

So they can be used where a type of kind * -> * is required.