fork download
  1. data Pencil = Pencil deriving Eq
  2.  
  3. newtype Box a = Box [a]
  4.  
  5. pencilInBox = Box [Pencil]
  6. getPencilFromBox (Box (x:_)) = x
  7.  
  8. main = print $ Pencil == getPencilFromBox pencilInBox
Success #stdin #stdout 0s 0KB
stdin
Standard input is empty
stdout
True