> Haskell's type system

Shen's type system is probably better described just as expressive.

http://shenlanguage.org/learn-shen/types/types_sequent_calcu... gives a sense of the flavor.