T13856.hs:8:7-22: Splicing expression lamE [] [| 42 |] ======> 42