RE: [Haskell-cafe] why are implicit types different? (cleanup)