module DataContext where

data Ord a => T a b = F a | G b