module ASCII.Refinement where

data ASCII superset

lift :: ASCII superset -> superset