typeOf -package:dhall package:massiv-test

Observe a type representation for the type of a value.