module Checked.X2 where

{-@ x :: {v:Int | v = 2} @-}
x :: Int
x = 2