resSafeArray :: Variant a => ArgRes (SafeArray a)
resSafeArray p       = resSafe' undefined p
resSafeArray :: Variant a => ArgRes (SafeArray a)
resSafeArray p       = resSafe' undefined p
resSafeArray p       = resSafe' undefined p