{-# LANGUAGE TypeFamilies #-}

module A where

type family F a b