{-# LANGUAGE TypeFamilies #-}
module T14396f where
type family F a