1{-# LANGUAGE TypeFamilies #-} 2 3module T6018Bfail where 4 5type family H a b c = (result :: *) | result -> a b c 6