Control.DotDotDot

class DotDotDot f b

…

type family IsFun (a :: *) :: Bool where ...