http://comonad.com/reader/2006/overloaded-functions-with-subtyping/ types, (co)monads, substructural logic Sat, 15 Oct 2022 17:33:45 +0000 http://wordpress.org/?v=2.8.4 hourly 1