fixed Types.lhs exports