On Sun, Jul 30, 2017 at 5:29 PM, <amindfv@gmail.com> wrote:
>  Technically it could be possible to reserve enough
> space in Foo to store either a [] or a (:) Float [Float].

What if it's an infinite list? Do you just want to unpack the first cons and not the whole list?

Isn't the example exactly the first of those?

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net