:{
{-# LANGUAGE TypeFamilies #-}
type family T21507 a where
  T21507 a = a
:}