4 ms·
I'm pretty sure you and the parent were thinking of Haskell's `newtype` not `type` λ> :{ Prelude| type Feet = Int Prelude| type Metres = Int Prelude| :} λ>
by anaphor 13y ago
I'm pretty sure you and the parent were thinking of Haskell's `newtype` not `type`
λ> :{
Prelude| type Feet = Int
Prelude| type Metres = Int
Prelude| :}
λ> let a = 5 :: Feet
λ> let b = 4 :: Metres
λ> :t a
a :: Feet
λ> :t b
b :: Metres
λ> a + b
9
λ> let f = id :: Feet -> Feet
λ> f b
4