Typecase

<
>