úÎ ƒ¸     (c) Yusuke Matsushita 2015 BSD3 Yusuke Matsushita  provisional  portable  Trustworthy'(=JK?Compare two types, of any kinds, which are not compared within  . Users can add instances. =Compare two types of any (possibly different) kinds. Since  2 itself is a closed type family, add instances to % if you want to compare other types.  The smallest type (and kind) on  . The largest type (and kind) on  .             compare-type-0.1.1 Type.CompareMinMax<=!>!>=!