Diagrams.Core.V

type family V a :: * -> *

type family N a :: *

type Vn a

class InSpace v n a

class SameSpace a b