HasChor is a library for functional choreographic programming in Haskell. It provides a monadic interface for choreographic programming where choreographies are expressed as computations in a monad. Based on Haskell’s type system, HasChor supports higher-order choreographies and location polymorphism, both features that enable modularity and code reuse.