Add derivation for Sodium (Haskell FRP library)