wrote a post about stacked type signatures