Lego with implicit coercions. Available at ftp.cs.man.ac.uk/pub/baileya/Coercions (1996)

by Anthony Bailey