@lunaticdemig0d because arrows are somewhat dynamic: they can operate over types that do not contain them, so we don't check them