Data.Abstract

type family Abstract a

class HasAbstract a

class IsAbstract a