{-# LANGUAGE NoImplicitPrelude #-}
import Internals

data X = X

x :: x
x = X