An implementation of the MicroKanren paper in PureScript