TY - RPRT TI - The Transpension Type: Technical Report AU - Andreas Nuyts PY - 2024 UR - https://arxiv.org/abs/2008.08530 ID - 2008.08530 ER -