simplify Gamma.hs by removing the In type family and Out type class