module Abstract where

data TBinding a