Data.Vinyl.Notation
(<+>)
(<<*>>)
(<<$>>)
(<<&>>)
data Rec
type r ∈ rs
type rs ⊆ ss
type rs ≅ ss
type rs <: ss
type rs :~: ss