module ProAbstract.Annotation.AnnotationFamily
    ( Annotation
    ) where

type family Annotation x