Denotational design with type class morphisms #1 Post by mridulkhan » Sat, Feb 21, 2009, 12:10 PM UTC Denotational design with type class morphismsconal.net