let Library = ../Library/Type

let Visibility = ../Visibility/Type

in  λ(a : Type) → Library a ⩓ { visibility : Visibility }