T13856.hs:8:6-23: Splicing expression lamE [] [| 42 |] ======> 42