Update for PureScript 0.11#19

paf31 merged 2 commits intopurescript-contrib:masterpurescript-contrib/purescript-options:masterfrom

simonyangme:ps-0.11simonyangme/purescript-options:ps-0.11Copy head branch name to clipboard