module Int where

type Key = Int