Some Singletons for PureScript