type family Or a b

type family And a b

type family IsElem a s

type family IsLink'' l

type family IsLink' e

type family IsLink e

class ValidLinkIn f s

data Link

class VLinkHelper f