Yet Another Polymorphic Prelude