Small refac
Use GHCi's method (e.g. :t) of printing types for :type-at