module Type.Bang where data X = X !Int