typeOf is:exact

Observe a type representation for the type of a value.
Given a JStgExpr, return the its type.
Not on Stackage, so not searched. Small script for inferring types