data A = A data A = B -- 3:1-3:11: Type A has already been defined in this module.