Stuck at (forall a. *) /= (* -> *). Argh.