It's a safe downcast from our Higher Kind T ype (H...
# arrow
t
It's a safe downcast from our Higher Kind T ype (HK<F,A>) used in Typeclass to the concrete Data Type