<*>
+ pure ((flip ($)) Haskell)
` def name_1
  ` <|>
    + <*>
    | + <*>
    | | + pure ((.) . (cons . const Haskell))
    | | ` satisfy
    | ` rec name_1
    ` pure id