fromTVRaw (TVRaw "IndefiniteTruthValue"   (a:b:c:d:e:_)) = IndefTV a b c d e
fromTVRaw (TVRaw "IndefiniteTruthValue"   (a:b:c:d:e:_)) = IndefTV a b c d e
fromTVRaw (TVRaw "IndefiniteTruthValue"   (a:b:c:d:e:_)) = IndefTV a b c d e