{-# LANGUAGE NamedWildCards #-}
module NamedWildcardInTypeFamilyInstanceLHS where

type family F a where
  F _t = Int