convertOpen :: (P -> a) -> A -> Open a
convertOpen f (A bindings p) = Open (map convertHypothesis bindings) (f p)
convertOpen :: (P -> a) -> A -> Open a
convertOpen f (A bindings p) = Open (map convertHypothesis bindings) (f p)
convertOpen f (A bindings p) = Open (map convertHypothesis bindings) (f p)