2-3 trees implemented in PureScript