{-# LANGUAGE Haskell2010 #-}
module T12446 where

x = undefined @(_ ~ _)