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