termSize (TyLam b)   = let (_,e) = unsafeUnbind b
                       in  termSize e
termSize (TyLam b)   = let (_,e) = unsafeUnbind b
                       in  termSize e
termSize (TyLam b)   = let (_,e) = unsafeUnbind b
                       in  termSize e