(.module:
  [lux #*]
  ["." // #_
   ["#" profile]
   ["#." action (#+ Action)]])

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