[Updated comments.
nad**20040616104121] {
hunk ./ChasingBottoms/IsType.hs 7
--- isFunction f returns True iff the top level "constructor" of f is a
--- function arrow.
+-- | '@isFunction@ f' returns 'True' iff the top level \"constructor\"
+-- of @f@ is a function arrow.
hunk ./ChasingBottoms/IsType.hs 15
--- This function is rather fragile, but should be OK.
--- The unit type is not considered to be a tuple.
+-- | This function is rather fragile, but should be OK. It is only
+-- used by "ChasingBottoms.ApproxShow", which should only be used for
+-- debugging purposes anyway. The unit type is not considered to be a
+-- tuple.
}