insertProtec :: Connection -> Protec -> IO Index
insertProtec conn prot = undefined
insertProtec :: Connection -> Protec -> IO Index
insertProtec conn prot = undefined
insertProtec conn prot = undefined