T2126.hs:5:1:
    A newtype must have exactly one constructor, but ‘X’ has none
    In the newtype declaration for ‘X’