module X where

data X =  Int :-> Int
       |  Int :->. Int
       |  Int :->.+ Int