use follow
reduce_of: use follow
Merge pull request #8 from frabbit/of_patch

is_in_type: use follow