A small type system demo for PureScript "Overboard" - View it on GitHub