Copyright 2004, The University Court of the University of Glasgow. 
Copyright (c) 2002 Simon Peyton Jones
Copyright (c) 2002 Manuel M. T. Chakravarty
All rights reserved.