1 2 3 4 5 6
{-# LANGUAGE TypeFamilies #-} module Test10307 where class Foldable t where type FoldableConstraint t x :: * type FoldableConstraint t x = ()