data Pencil
= Pencil
deriving Eq
newtype Box a = Box [a]
pencilInBox = Box [Pencil]
getPencilFromBox (Box (x:_)) = x
main
= print $ Pencil
== getPencilFromBox pencilInBox
ZGF0YSBQZW5jaWwgPSBQZW5jaWwgZGVyaXZpbmcgRXEKCm5ld3R5cGUgQm94IGEgPSBCb3ggW2FdCgpwZW5jaWxJbkJveCA9IEJveCBbUGVuY2lsXQpnZXRQZW5jaWxGcm9tQm94IChCb3ggKHg6XykpID0geAoKbWFpbiA9IHByaW50ICQgUGVuY2lsID09IGdldFBlbmNpbEZyb21Cb3ggcGVuY2lsSW5Cb3g=