Danny Gratzer's ds-kanren package adapted to use streamly instead of logict
to show logic programming capability of streamly. ds-kanren is an
implementation of the miniKanren language.
These are the changes required to use streamly in place of logict.
The original package can be found on hackage. The original repo is on bitbucket