NAT-PMP library for Haskell