lets
` <*>
  + pure GHC.Show.show
  ` <*>
    + <*>
    | + pure (\u_0 -> \u_1 -> u_0)
    | ` pure 'a'
    ` satisfy ((GHC.Classes.==) 'a')