Data.Vinyl.Notation

(<+>)

(<<*>>)

(<<$>>)

(<<&>>)

data Rec

type r rs

type rs ss

type rs ss

type rs <: ss

type rs :~: ss