module Bug1 where

-- we should have different anchors for constructors and types/classes.
data T = T