let Common = ../Common/Type

in  λ(a : Type) →
        Common a
      ⩓ { main : Optional Text
        , other-modules : List Text
        , generated-other-modules : List Text
        }