-- Is this API style a meme?

data Person name = Person { personName :: name }

data Login username password = Login { loginUsername :: username , loginPassword :: password }

data Customer id person login = Customer
    { customerId :: id
    , customerPerson :: person
    , customerLogin :: login
    }

data CustomerSvc m customer id person login name username password format = CustomerSvc
    { createCustomer :: id -> person -> login -> m (Maybe customer)
    , createPerson :: name -> m (Maybe person)
    , createLogin :: username -> password -> m (Maybe login)

    , getCustomerId :: customer -> m id
    , getCustomerPerson :: customer -> m person
    , getCustomerLogin :: customer -> m login

    , getPersonName :: person -> m name

    , getLoginUsername :: login -> m username
    , getLoginPassword :: login -> m password

    , setPerson :: person -> customer -> m (Maybe customer)
    , setLogin :: login -> customer -> m (Maybe customer)

    , setPersonName :: name -> person -> m (Maybe person)

    , setLoginUsername :: username -> login -> m (Maybe login)
    , setLoginPassword :: password -> login -> m (Maybe login)

    , findCustomer :: id -> m (Maybe customer)
    , findCustomers :: m [customer]

    , customerToFormat :: customer -> m format
    , customerFromFormat :: format -> m customer

    , deleteCustomer :: customer -> m ()
    }