module EDN::Type