# Experimental library for type-class-like polymorphic predicates (Discussion)

**URL:** <https://swi-prolog.discourse.group/t/experimental-library-for-type-class-like-polymorphic-predicates-discussion/3203>\
**Category:** Discussion\
**Created:** [March 26, 2020, 4:11pm UTC](https://swi-prolog.discourse.group/t/experimental-library-for-type-class-like-polymorphic-predicates-discussion/3203 "2020-03-26T16:11:30Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\
**Post date:** [March 26, 2020, 4:11pm UTC](https://swi-prolog.discourse.group/t/experimental-library-for-type-class-like-polymorphic-predicates-discussion/3203/1 "2020-03-26T16:11:30Z")

</div>

> [@Experimental library for type-class-like polymorphic predicates](https://swi-prolog.discourse.group/t/experimental-library-for-type-class-like-polymorphic-predicates/2072/1):
>
> Any feedback or comments appreciated.

FYI in case you were not aware. Not implying anything by noting.

Package [type\_check](https://www.swi-prolog.org/pack/list?p=type_check)  
Package [typedef](https://www.swi-prolog.org/pack/list?p=typedef)