Module Type.GADT

val arrow : text