A functional language based purely on category theory by Cockett, Spencer, and Fukushima, 1990-1991.
A version for Sun-4 is available from Tom Fukushima <fukushim@ucalgary.ca>.
["About Charity", J.R.B. Cockett, U. Calgary, Canada, et al].