Remove the duplication of code which is exactly the same for two discrete types in F