Fixed some of the issues for idris 0.12.2

[archaeron]

there are more issues

one of them is probably that this is not public export: https://github.com/idris-lang/Idris-dev/blob/e0c893caf2e64498214f61e39c8ecd5bb33c0ed6/libs/contrib/Network/Socket.idr#L132-L133