lets
` <*>
  + pure GHC.Show.show
  ` chainPre
    + <*>
    | + pure (\u_0 -> (GHC.Types.:) 'a')
    | ` satisfy ((GHC.Classes.==) 'a')
    ` pure GHC.Types.[]