blob: 5af2be029f911c4d729fcd54f241e77129b9bad8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE ApplicativeDo, DerivingStrategies, GeneralizedNewtypeDeriving #-}
module T20540 where
import Data.Functor.Identity
newtype F a = F (Identity a)
deriving newtype (Functor, Applicative, Show)
x :: F Int
x = do
return 3
y :: F Int
y = do
let a = 3
let b = 4
let c = 5
return $ a + b + c
|
