Type-safe Bank and Client