Slightly better typeclass dictionary constructors