Typeable instance is buggy

[nushio3]

Vectors are made typeable now.

instance (Typeable a, Typeable (n a)) => Typeable (n :~ a) where typeOf (vx :~ x) = mkTyConApp (mkTyCon "Language.Paraiso.Tensor.:~") [typeOf vx, typeOf x]

Tensor of rank 1 (vectors) and arbitral dimensions are well typed, but taking typeOf of higher rank tensors results in Prelude::undefined.

look for the reason. and also you should migrate to mkTyCon3, when base 4.4 is available.