{-# LANGUAGE NoImplicitPrelude #-}

data X = X

x :: x
x = X