[Haskell-cafe] an idea for modifiyng data/newtype syntax: use `::=` instead of `=`

[Richard A. O'Keefe]

I note that Haskell is not the only language to link
identifiers with types using '::' rather than ':'.
Apart from the obvious (Clean), there's Fortran.
From the file ATMDYN.f in a system that NASA helpfully
make available,
      LOGICAL :: HAVE_SOUTH_POLE, HAVE_NORTH_POLE
This puts the type before the identifiers, but still...

Didn't Miranda use '::=' to declare sum-of-product types?