(.module:
  [library
   [lux "*"]]
  ["[0]" // "_"
   ["[1]" profile]
   ["[1][0]" action {"+" [Action]}]])

(type: .public (Command a)
  (-> //.Profile (Action a)))