{-# LANGUAGE TypeApplications #-}

module T13986 where

foo x₁@True = 10