ghc-exactprint-0.3: tests/examples/DefaultTypeInstance.hs

{-# LANGUAGE TypeFamilies #-}


class Foldable t where
  type FoldableConstraint t x :: Constraint
  type FoldableConstraint t x = ()