{-# LANGUAGE TypeOperators #-}
module T13947 where

f :: () -> Int :~: Int
f = undefined