1{-# LANGUAGE GADTs #-}
2
3one :: a ~ Int => a
4one = 1
5