Typecheck is happy but it looks like t2b is producing a nonsense result\!