Removed silly pointfree definition; it wasn't funny anymore.