{-# LANGUAGE RankNTypes #-}
module Boot where

import A

data Data = forall n. Class n => D n