{-# LANGUAGE GADTs #-}
module Main (main) where

one :: a ~ Int => a
one = 1