termSize (Lam b)     = let (_,e) = unsafeUnbind b
                       in  termSize e + 1
termSize (Lam b)     = let (_,e) = unsafeUnbind b
                       in  termSize e + 1
termSize (Lam b)     = let (_,e) = unsafeUnbind b
                       in  termSize e + 1