Then all data types that provide type class instan...

# arrow

[raulraja]

Then all data types that provide type class instances also extend Kind so you can safely downcast from a generic value to a concrete one. For example Option<A> is also Kind<ForOption, A> because the datatype is a subtype of it.