getCapacityDef :: Def
getCapacityDef =
    Def "get_capacity" ["capacities", "bottle", "q92"] (
      ((V "bottle" === C "fst" []) &&&
      (call "fst'" [V "capacities", V "q92"])) |||
      ((V "bottle" === C "snd" []) &&&
      (call "snd'" [V "capacities", V "q92"]))
    )
getCapacityDef :: Def
getCapacityDef =
    Def "get_capacity" ["capacities", "bottle", "q92"] (
      ((V "bottle" === C "fst" []) &&&
      (call "fst'" [V "capacities", V "q92"])) |||
      ((V "bottle" === C "snd" []) &&&
      (call "snd'" [V "capacities", V "q92"]))
    )
getCapacityDef =
    Def "get_capacity" ["capacities", "bottle", "q92"] (
      ((V "bottle" === C "fst" []) &&&
      (call "fst'" [V "capacities", V "q92"])) |||
      ((V "bottle" === C "snd" []) &&&
      (call "snd'" [V "capacities", V "q92"]))
    )