Less general rank-2 type on objective-function parameter of 'maximize' a...

Per my comment in #4, now also changing `IList` to a newtype and deriving everything.