String.prototype.substr を PureScript で実装するにはどうすれば良いですか?