This package is a fork of the specific typed predicate functionality from https://github.com/sisoje/RHBFoundation which is also licenced under MIT
This repo simply exists for those that wish the predicate building functionality without importing the rest of the library.