Text this: Encoding Monomorphic and Polymorphic Types