tat.nim

import macros, tables

macro echoType(x: typed): untyped = 
  let impl = x.symbol.getImpl()
  # we're called on some type
  
  if impl.kind == nnkTypeDef:
    echo "type ", toStrLit(impl)
  # we're called on a variable
  else:
    echo "type ", impl.getTypeInst(), " = ", toStrLit(impl.getTypeImpl())


type 
  MyObj = object
    x: int
echoType(MyObj)

let a = MyObj(x: 5)
echoType(a)

Excellent!!

Now I get: type Response = ref Response:ObjectType .. I guess it's surprisingly hard to see the attributes of Response at runtime!