module Pos where

type T = (Int,Int)
  




