I realized tonight that Hackage needs a theme song. Here is my attempt at it, apologies to Jefferson Starship: We built this hackage, We built this hackage on lambda and types Say you don't know me, or the parameters I pass Say you don't care who instances this type class Knee deep in the thunk, value infinitely big Too many constraints eating up the type sig Main runs the Monad, Listen to the Reader Don't you remember? We built this hackage We built this hackage on lambda and types! We built this hackage, we built this hackage on lambda and types Built this hackage, we built this hackage on lambda and types Someone always playing package games Who cares they're always changing package names We just want to compile here, someone stole the type hack They call us lazy, evaluate us off the stack Main runs the Monad, Listen to the Reader Don't you remember? We built this hackage We built this hackage on lambda and types! We built this hackage, we built this hackage on lambda and types Built this hackage, we built this hackage on lambda and types It's just another version in our release style Cabal has got the build deps, and we upload the file Who counts the downloads underneath package node Who writes the type errors into our source code Don't tell us you need us, 'cause we're the db of tools Looking for pragmas, crawling through your RULES Don't you remember ... Main runs the Monad, Listen to the Reader - Don't you remember? We built this hackage, We built this hackage on lambda and types We built this hackage, we built this hackage on lambda and types Built this hackage, we built this hackage on lambda and types Built this hackage, we built this hackage on lambda and types Built this hackage, we built this hackage on lambda and types We built, we built this hackage yeah We built this hackage We built, we built this hackage (Repeat - fade)