lets
` <*>
  + <*>
  | + pure (\x_0 -> \x_1 -> GHC.Show.show x_0)
  | ` chainPre
  |   + <*>
  |   | + pure (GHC.Types.:)
  |   | ` satisfy (\t_0 -> ('a' GHC.Classes.== t_0) GHC.Classes.|| (('b' GHC.Classes.== t_0) GHC.Classes.|| (('c' GHC.Classes.== t_0) GHC.Classes.|| (('d' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))
  |   ` pure GHC.Types.[]
  ` eof