Add the preliminary network package
add actual code to network/Network.idr