inSafeArray :: Variant a => ArgIn (SafeArray a)
inSafeArray s  = inSafe' undefined s
inSafeArray :: Variant a => ArgIn (SafeArray a)
inSafeArray s  = inSafe' undefined s
inSafeArray s  = inSafe' undefined s