1 2 3 4 5 6
{-# LANGUAGE ExistentialQuantification #-} module Boot where import A data Data = forall n. Class n => D n