type-spine-0.1.1: A spine-view on types