úÎ K s      Safe-Inferred!"'(3:=HIJKM 2A types which have the monomorphic representation.Monomorphic representation4Promote the monomorphic value to the polymophic one.?Demote the polymorphic value to the monomorphic representation.$A wrapper type for polymophic types.OConvinience function to demote polymorphic types into monomorphic one directly. IDemote polymorphic nested types directly into monomorphic representation. CApply dependently-typed function to the monomorphic representation. Flipped version of  . SDemote the function between polymorphic types into the one between monomorphic one.          monomorphic-0.0.3.3Data.Type.MonomorphicMonomorphicableMonomorphicReppromotedemote Monomorphic:.:Compdemote'demoteComposedmonomorphicComposewithPolymorhicliftPolyviaPoly$fReadMonomorphic$fShowMonomorphic