Diagrams.Core.V
type family V a :: * -> *
type family N a :: *
type Vn a
class InSpace v n a
class SameSpace a b