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